Tag: mathematics
-
Who checks an AI’s proof that a 1999 hypothesis is false?
OpenAI and Anthropic each claim a refutation, neither has been independently verified, and an Anthropic mathematician says one rests on earlier work.
-
OpenAI published 722 maths papers written by a model it has not released, and most are not machine-checked
The company says nearly all of it came from one prompt to one agent, and has not published the prompts.