Math, Inc. (@mathematics

Math, Inc.

248 posts

Math, Inc.

@mathematics_inc

Solve math, solve everything. Dedicated to superintelligence via autoformalization

Palo Alto, CA

math.inc

Joined September 2025

Pinned
Math, Inc.
@mathematics_inc
Dec 30, 2025
🚨 FULL CONVERSATION Fields medalist Terry Tao sits down with Math Inc's @jessemhan and @jdlichtman for a conversation on the future of mathematics. "I got convinced that this was the future of mathematics [...] It's a different style of writing proofs that actually is in some
00:00
331K
Math, Inc.
@mathematics_inc
Sep 11, 2025
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.
1.3M
Math, Inc.
@mathematics_inc
Sep 11, 2025
Replying to @mathematics_inc
Fields Medallist Terence Tao and Alex Kontorovich set this formalization challenge in January 2024. After 18 months, they announced intermediate progress in July 2025 but were blocked by core difficulties in complex analysis. Gauss broke through these barriers autonomously.
41K
Math, Inc.
@mathematics_inc
Sep 11, 2025
Replying to @mathematics_inc
We're entering a Golden Age where anyone can summon artificial mathematicians for research. As verified math becomes the training ground for AI, we're creating machine universalists that will transcend human limitations—the von Neumanns of the digital age.
Solve math, solve everything. — Math, Inc.
From math.inc
36K
Math, Inc.
@mathematics_inc
Sep 11, 2025
Those who are paying close attention can sense the dawning of a new Golden Age in mathematics.
17K
Math, Inc.
@mathematics_inc
Sep 11, 2025
Replying to @mathematics_inc
Mathematics is the universal language of computation. Agents trained on formal math will revolutionize verified software, protein design, chip optimization, and disease cures—all while providing scaffolding for aligned superintelligence. Solve math, solve everything.
27K
Math, Inc.
@mathematics_inc
Sep 11, 2025
Replying to @mathematics_inc
Gauss is entering beta testing with select mathematicians. 🔗 Blog: math.inc/gauss 🔗 GitHub: github.com/math-inc/stron… 🔗 Early access: math.inc/early-access
Introducing Gauss, an agent for autoformalization — Math, Inc.
From math.inc
37K
Math, Inc.
@mathematics_inc
Sep 11, 2025
Replying to @mathematics_inc
We are hiring a small team of extraordinarily aligned and capable researchers and engineers:
Careers — Math, Inc.
From math.inc
36K
Math, Inc.
@mathematics_inc
Sep 11, 2025
Replying to @mathematics_inc
Built with support from DARPA's expMath program and @morph_labs Trinity environments infrastructure.
27K