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
Earlier this month, OpenAI announced that it had found a solution for one of the biggest unsolved problems in math,...



















