AIClaim of 100-plus solved math problems draws a call for independent proof review
A commenter says OpenAI reports 100-plus solved math problems and asks for a public problem list and independent review of the proofs.
TLDR
A reply citing OpenAI says the company reports 100-plus solved math problems, but gives no AGI label or release date. The commenter calls those ideas speculation and asks to see a public problem list and independent review of the proofs first. OpenAI says it is working with an independent Advisory Group on Mathematics and Artificial Intelligence to guide the review and communication of emerging AI results.
Combined views
—
1 Source, first seen 2h ago
Claim of 100-plus solved math problems draws a call for independent proof review
A commenter says OpenAI reports 100-plus solved math problems and asks for a public problem list and independent review of the proofs.
TLDR
A reply citing OpenAI says the company reports 100-plus solved math problems, but gives no AGI label or release date. The commenter calls those ideas speculation and asks to see a public problem list and independent review of the proofs first. OpenAI says it is working with an independent Advisory Group on Mathematics and Artificial Intelligence to guide the review and communication of emerging AI results.