Mathematicians Can't Make Sense of How OpenAI's Agents Solved One of the Toughest Math Problems Because the AI's "Proof" Is Borderline Incomprehensible https://futurism.com/artificial-intelligence/mathematicians-openai-agents-proof-borderline-incomprehensible