The Verge · AI· Robert Hart·· 1 day agoSame StoryAI Score82
'Pure insanity': Mathematicians will need years to make sense of OpenAI's latest drop
‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
AI summary
OpenAI released nearly 400 AI-generated mathematical results across more than 700 manuscripts.
Same story, featured as "OpenAI shares AI results on open mathematics problems with Lean proofs on GitHub"
Source: The Verge · AI · theverge.com