Meta shares research papers on AI helping solve open math problems

Meta says its AI models helped mathematicians solve six open research problems spanning a range of mathematical fields. The company is sharing the work as a set of six research papers. The work comes from Meta’s Fundamental AI Research team, better known as FAIR, which has been bolstered by the company’s Superintelligence Labs. The effort is part of a multi-year push into mathematical reasoning, theorem proving, and formalization. Formalization deserves a quick translation. It means rewriting human math into a strict language a computer can check line by line, so a proof either holds up or visibly breaks. One of the most concrete results is an October 2, 2026 paper on solvable evolution algebras. In it, AI played a central role in disproving a conjecture put forward by researchers García-Martínez and Pérez-Rodríguez. Shortly before that, on September 23, 2026, Meta released an arXiv preprint titled “Learning to Discover Interesting Mathematics.” The paper focuses on using post-trained large language models to generate theorems that are “interesting,” not merely true. The textbook-eating robot Earlier in the year, in May 2026, Meta launched AutoformBot. The system autoformalized 26 ...