57+ min ago   (414+ words) Claude turns a 350-year-old, 129-page proof into 13 million lines of Lean code Anthropic has used its Claude artificial intelligence system to produce a fully computer-checked version of a famous, centuries-old mathematical proof. The proof addresses Fermat's Last Theorem, a hypothesis…...

50+ min ago   (474+ words) Millions of people playing their daily Wordle games will be eager to hear about this new research. Using information theory, the team of researchers from Binghamton University and State University of New York has developed a method to solve the…...

5+ hour, 3+ min ago   (204+ words) Home > Prelims Pointers > Fermat’s Last Theorem Fermat’s Last Theorem, proposed by Pierre de Fermat in 1637, states that xⁿ + yⁿ = zⁿ has no integer solutions for n > 2. Read more about Fermat’s Last Theorem, Latest News By Vajiram Prelims Team - Sep 13, 2026, 12:30 IST…...

4+ hour, 29+ min ago   (1059+ words) In 2026, if you only read headlines, you would think mathematics had suddenly entered harvest season. By rough count, in just half a year, more than a dozen mathematical problems that had been open for decades were cleared out in a…...

3+ hour, 12+ min ago   (366+ words) Top mathematicians urge responsible AI benchmarks to protect discovery and collaboration They said, "Solving problems is only a tool and proxy to achieve the fundamental goals of conceptual understanding and insight," adding, "There is a severe misalignment between the goals…...

8+ hour, 43+ min ago   (201+ words) AI appears to have opened math research to a cohorts that weren’t typically expected to contribute meaningfully to the field until recently. Two teenagers from Oak Park High School in California and a UCLA postdoc have just put their names…...

11+ hour, 36+ min ago   (346+ words) 25 laureates, including Heo Joon-i, highlight risks of AI prioritizing answers over conceptual understanding in mathematics Fields Medalists, including Heo Joon-i, a professor at Princeton University, and Terence Tao, a professor at UCLA (University of California, Los Angeles), along with 25 other…...

13+ hour, 34+ min ago   (369+ words) Joint statement led by Terence Tao urges urgent debate on AI-driven unsolved problem contests and their impact on mathematical research and education However, the mathematicians pointed out that corporate competition that treats solving unsolved problems as a benchmark for AI…...

10+ hour, 10+ min ago   (284+ words) The Hindu A new event at the California Institute of Technology, called ‘Mathathon’, pulled together by a group of undergraduate students to “promote the responsible use of AI in mathematics” quickly ran into controversy…...

8+ hour, 50+ min ago   (1343+ words) Frank Morales Aguilera, BEng, MEng, SMIEEE Founder & CEO, SOMALA | Former Boeing Associate Technical Fellow | …...