Model4d ago
Model
Gauss AI Completes Two-Year Math Proof in Days
A system called Gauss, built by Math Inc., completed a complex mathematical formalization in five days that previously took a graduate student two years. The tool translated a celebrated proof into a computer-verifiable format. This speedup demonstrates a sharp decline in the time required for rigorous formal verification in mathematics.