Axiom Math AI Converts Stacks Project to Code
The AI startup's agents turned thousands of pages of algebraic geometry reference material into formally checked code.
Live Poll
Do you trust AI-generated work more when it has been computer-verified?
U.S. Mathematics News
Across the United States, coverage here takes in academic research breakthroughs, industry awards, applied mathematical concepts and new statistical methods. It focuses on the role of theory in solving modern scientific and engineering challenges.
Recent news
October 29, 2026
Department of War Awards $150 Million to ResearchTwenty academic teams will receive funding for defense-related scientific projects over the next five years.
October 29, 2026
Pattern Computer Reconstructs Navier-Stokes EquationsThe firm utilized AI to derive fundamental fluid dynamics laws from raw data without using prior physical assumptions.
October 29, 2026
Mathematicians Urged to Prioritize Charm Over AICornell professor Steven Strogatz suggests personal appeal is key to differentiating human work from AI.
October 29, 2026
NIST Launches New Calibration Service for Horn AntennasThe service significantly reduces gain uncertainty for antennas used in the 1 to 18 gigahertz frequency range.
October 28, 2026
Neel Somani Solves Major Justin Sun Prize ProblemsThe mathematician successfully cracked two complex problems using artificial intelligence and collaborative research.
October 27, 2026
Axiom Math Completes Formal Proof of Finite GroupsA computer-verified system successfully formalized the 15,000-page Classification of Finite Simple Groups.
October 27, 2026
OpenAI Releases AI Research Claims for External ReviewThe firm is inviting academic experts to evaluate findings across mathematics, computer science, and physics.
October 27, 2026
Duke Math Graduates Earn Top U.S. SalariesData shows Duke University mathematics alumni lead the nation in median earnings four years after graduation.
October 22, 2026
Researchers Formalize 11 Elusive Turing MachinesScientists at Google DeepMind and the University of Cambridge defined the behavior of 11 mysterious BB(6) machines.
October 21, 2026
Researchers Solve 31-Year-Old KLS ConjectureMicrosoft researchers and an independent team have both released proofs for the long-standing mathematical problem.
More in Mathematics
United States reporting spans major proofs, top disciplinary prizes, applications of theory to real-world problems and the verification of complex computational methods. Global reporting spans every institution and research lab where mathematics advances scientific discovery. Researchers and academics often follow distinct institutional patterns, with professional recognition and long-term breakthroughs receiving the most attention. The influence of new technology on how problems are modeled continues to shape the pace of discovery.