Article / Category

Research

Academic papers, technical breakthroughs, benchmark studies, and architecture innovations in AI

Total 7 articles

After Navier-Stokes feud, OpenAI quits math hackathon

OpenAI withdrew its Caltech math hackathon sponsorship after mathematicians published an open letter condemning AI-company-sponsored math events as destructive to the field.

AI verified Fermat's Last Theorem — in 11 days

Claude produced the first complete computer-checked formalization of Fermat's Last Theorem in 11 days — 13 million lines of Lean, 30,300 theorems, no unproven assumptions.