Math Inc. builds AI systems that translate ordinary mathematical arguments into Lean, a language in which every step can be checked by a computer. Its Gauss agent completed a formal proof of the strong Prime Number Theorem, demonstrating how AI could reduce the expert labor required to verify complex mathematics.
See something inaccurate or outdated?
