● AI newsThe Verge · Oct 6

OpenAI Publishes Nearly 400 AI-Generated Mathematical Results on GitHub

OpenAI released over 700 manuscripts containing AI-generated mathematical results, though only around 42 percent have been formalized in Lean. While researchers noted progress on major problems, several papers have already required revisions or retraction due to errors.

Read ↗Share on Telegram Share on X

Sources

reported The Verge

Made with AI tools. Spotted a mistake? Tell us