Math, Inc.
Math, Inc. @mathematics_inc · x · 2025-09-11 · ★★★ · archived
Cited as a source by: 2025-09-10-math-inc-gauss-strong-pnt
Summary
Archived text
Today we're announcing Gauss, our first autoformalization agent that just completed Terry Tao & Alex Kontorovich's Strong Prime Number Theorem project in 3 weeks—an effort that took human experts 18+ months of partial progress.
likes 2945 · replies 79 (at fetch time)
Archived 2026-09-29 via syndication.
Archived text
Today we're announcing Gauss, our first autoformalization agent that just completed Terry Tao & Alex Kontorovich's Strong Prime Number Theorem project in 3 weeks—an effort that took human experts 18+ months of partial progress.
likes 2945 · replies 79 (at fetch time)
Archived 2026-09-29 via syndication.
Related events
All posts · id: x-mathematics_inc-1966194751847461309