The Clay Mathematics Institute should award Millennium Prizes to AI-generated proofs

Overview Debates Related claims Topics SourcesInvolved parties

From the articleOpenAI Says It Has Solved a Millennium Prize Problem—a Holy Grail of MathAlso in OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul, OpenAI fought dirty on career-making math problem, says NYU mathematician, What Is Navier-Stokes, the ‘Millennium’ Math Problem OpenAI Claims to Have Solved?, OpenAI's historic math solution overshadowed by credit controversy, OpenAI Says It Has Cracked One of Math’s ‘Millennium Problems’, OpenAI researcher allegedly pressured mathematician to drop Anthropic co-author from math breakthrough paper