AI
AI Math Breakthrough and the Dispute Over Research Ownership
NYU professor Tristan Buckmaster accuses OpenAI of using his research to solve a Millennium Prize Problem using a next-generation AI model.
September 9, 2026, 12:34 PM·IT之家
#ai-mathematics
AI
Anthropic Formalizes Fermat's Last Theorem Using AI
Anthropic has formalized the proof of Fermat's Last Theorem in 11 days, creating the largest-ever computer-verifiable mathematical file with 13 million lines of code.
SiliconANGLE
That is everything