The Mathematics Search Engine

Mathematics News & Resources

4Mathematics is a specialist search engine for Mathematics. Discover the latest math news and mathematical content. Part of the 4SEARCH network of topic specific search engines.

PSI Reports Machine-Checked Proof of Aaronson-Ambainis Conjecture

Physical Superintelligence announced on November 6, 2026 that an internal research system running instances of a non-public Anthropic model had found a proof of the Aaronson-Ambainis conjecture, a quantum-computing problem open since 2008. The system produced a complete proof during the third day of a run on PSI’s own infrastructure…

536 words5 outlets
More in AI Proves Theorems

Google DeepMind: AI agents found two weaknesses in legacy 1024-bit RSA

Google DeepMind: AI agents found two weaknesses in legacy 1024-bit RSA 📅 November 7, 2026 • Google... Tagged with ai, cybersecurity, google, security. Google DeepMind: AI agents found two weaknesses in legacy 1024-bit RSA 📅 November 7, 2026 • Google DeepMind Result two: batch factorization The second result is about…

140 words5 outlets
More in Famous Problems & Conjectures

AI has transformed maths — this is how we got here

Anil Ananthaswamy is the author of Why Machines Learn (2024). Artificial-intelligence tools have found solutions to several mathematics and physics problems that had been unresolved for years. Credit: Barbara Sax/AFP/Getty Big Math: The Hidden Codes That Run Our World Steven Strogatz & Alex Townsend Little, Brown and Company (2026) When…

472 words5 outlets
More in New Math Research

South Dakota’s Report Card Highlights Student Success as a Priority

South Dakota’s Report Card Highlights Student Success as a Priority mykxlg.com “Student success is not a metric; it’s a priority,” said Secretary of Education Dr. Joseph Graves. “Strong student performance requires support from everyone involved in a student’s educational journey. It takes the dedicated teachers and administrators who show up…

502 words5 outlets
More in Math Test Scores