When AI Starts Checking Mathematicians’ Work Scientific American • March 26, 2026 • Article A startup called Math, Inc. has achieved something the mathematical community has long dreamed of—and that some have long feared. Its AI system, named Gauss, has successfully formalized two complex proofs by Fields Medalist Maryna Viazovska, translating her work on sphere-packing in eight- and twenty-four-dimensional space into the rigorous programming language Lean. This process, known as formalization, has historically been so painstaking that it could take months or even years of human effort to convert a single proof. The piece surfaces real skepticism about the implications—what happens when the verification bottleneck disappears? Does mathematics become more democratized, or does it risk being reshaped by the priorities of the companies building these tools? It’s a question that sits at the intersection of pure intellectual pursuit and commercial AI development, and it’s only going to get louder. Creative Force Implications: This isn’t AI replacing mathematicians—it’s AI handling the translation layer that has always bottlenecked how quickly verified knowledge can accumulate. For math educators, it raises a fascinating pedagogical question: if proof verification becomes routine, what does that mean for the way we teach proof writing and mathematical reasoning? There has always been the argument that mathematics is not for creating mathematicians —now we may have even more reason to think this way about the themes of thinking and orientation in mathematics teaching. More States Are Calling for Math Reform. Will It Improve Student Outcomes? Education Week • February 19, 2026 • Policy Analysis With national math scores sitting at historic lows, a growing wave of state-level legislation is attempting to do for mathematics what the “science of reading” movement did for literacy instruction. The parallels are striking—and the cautionary lessons are too. Education Week reports that the recent surge in math-related legislation dates to 2022, beginning with the Alabama Numeracy Act, and has since spread across multiple states with varying approaches.