Did humans formalize the inputs ? or was the exact natural language input provided to the llm. A lot of detail is missing on the methodology used. Not to mention of any independent validation.
My skepticism stems from the past frontier math announcement which turned out to be a bluff.
My skepticism stems from the past frontier math announcement which turned out to be a bluff.