Math, Inc. ✓

@mathematics_inc · Palo Alto, CA · joined 11 Sep 2025

Solve math, solve everything. Dedicated to superintelligence via autoformalization

13 480Followers

0Following

248Posts total

866.9KViews on collected posts

Neueste Beiträge

Math, Inc. ✓@mathematics_inc20 Jul

A golden age is dawning for mathematics and formal proof. "If there is one thing in mathematics that fascinates me more than anything else, it is neither 'number' nor 'size', but always form [...] the structure hidden in mathematical things." https://t.co/UBPPrH63kS 8.3K views · 123 likes · 11 reposts · 14 replies Open on X →

Math, Inc. ✓@mathematics_inc16 Apr

In surprising news, GPT5.4 Pro just found a solution Erdos Problem #1196. Now Gauss has formalized the proof of #1196! The initial proof was 7.2K lines of Lean, done in ~5 hours. Subsequent golfing has compressed it down to 4K lines. (sorry-free, with comparator check) https:/ 86.3K views · 622 likes · 72 reposts · 5 replies Open on X →

Math, Inc. ✓@mathematics_inc11 Apr

The Economist, on Math Inc's landmark formalization of Viazovska's Fields Medal proof of Sphere Packing, completing the final result in record time: https://t.co/aYw2UKhKFo 21.9K views · 85 likes · 13 reposts · 1 replies Open on X →

Math, Inc. ✓@mathematics_inc11 Apr

By devising and verifying proofs, AI is changing how maths is done. To learn how, register to read the full story (it’s free) https://t.co/x9rWl2g6iD 33.6K views · 34 likes · 8 reposts · 5 replies Open on X →

Math, Inc. ✓@mathematics_inc19 Mar

We love open source and built OpenGauss on top of Hermes Agent - awesome work by @Teknium and the @NousResearch team 12.5K views · 155 likes · 13 reposts · 12 replies Open on X →

Math, Inc. ✓@mathematics_inc19 Mar

@mathematics_inc @DARPA Congrats! It nicely complements what we've been doing with our open-source autonomous mathematician: https://t.co/RxDYSI1csV 6.3K views · 62 likes · 2 reposts · 1 replies Open on X →

Math, Inc. ✓@mathematics_inc19 Mar

Today, at the @DARPA expMath kickoff, we launched 𝗢𝗽𝗲𝗻𝗚𝗮𝘂𝘀𝘀, an open source and state of the art autoformalization agent harness for developers and practitioners to accelerate progress at the frontier. It is stronger, faster, and more cost-efficient than off-the-shelf https://t. 327.5K views · 2.3K likes · 380 reposts · 52 replies Open on X →

Math, Inc. ✓@mathematics_inc19 Mar

https://t.co/MrOpgdB5mp https://t.co/A7rNfO137c https://t.co/8Z1bKtGgsz 14.5K views · 138 likes · 17 reposts · 2 replies Open on X →

Math, Inc. ✓@mathematics_inc30 Dec 2025

@mathematics_inc @paulg @jessemhan @jdlichtman New tools widen the craft. Taste still decides what matters. 2.7K views · 6 likes · 1 reposts · 0 replies Open on X →

Math, Inc. ✓@mathematics_inc30 Dec 2025

Watch the full conversation on YouTube: https://t.co/7XrYiimLlE 17.1K views · 106 likes · 20 reposts · 1 replies Open on X →

Math, Inc. ✓@mathematics_inc30 Dec 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 336.1K views · 939 likes · 195 reposts · 76 replies Open on X →

Im Vergleich zu Konten gleicher Größe

1 Beiträge aus den letzten 90 Tagen, verglichen mit der Größenklasse 10K–100K Follower. wird mehr Menschen gezeigt als Konten gleicher Größe.

Medianaufrufe8 334dieses Konto895Median für 10K–100K

Reichweite, %61.82%dieses Konto3.22%Median für 10K–100K

Interaktion, %1.79%dieses Konto1.98%Median für 10K–100K

Kennzahl	Dieses Konto	Median für 10K–100K	Verhältnis
Medianaufrufe pro Beitrag	8 334	895	9.31×
Reichweite (Aufrufe ÷ Follower)	61.82%	3.22%	19.2×
Interaktionsrate	1.79%	1.98%	0.90×

Weitere Konten dieser Größe → Mit einem anderen Konto vergleichen → Wie diese Vergleichswerte entstehen →

Growth & engagement

How the posts we collected actually performed: views and reaction rate post by post, what the audience did with them, and where the follower count goes.

Views per post

336.1K30 Dec

17.1K

2.7K

14.5K19 Mar

327.5K

6.3K

12.5K

33.6K11 Apr

21.9K

86.3K16 Apr

8.3K20 Jul

Last 11 collected posts, oldest on the left. The scale is logarithmic: one post can outrun the rest a hundred times over.

Engagement rate per post

0.37%30 Dec

0.75%

0.26%

1.09%19 Mar

0.84%

1.03%

1.45%

0.15%11 Apr

0.46%

0.82%16 Apr

1.79%20 Jul

Reactions — likes, reposts, replies and quotes — divided by views. Median for 10K–100K accounts is 1.98%.

What the audience does

Likes51.5%4 530 in total

Reposts8.3%732 in total

Replies1.9%169 in total

Quotes1.0%88 in total

Bookmarks37.3%3 280 in total

Share of every reaction we collected for this account. Replies mean argument, reposts mean endorsement, bookmarks mean the post was worth keeping.

Followers by day

4 Sep

Daily snapshots since 04 Sep 2026; the dashed line is the starting count.

Neueste Beiträge

Im Vergleich zu Konten gleicher Größe

Growth & engagement

Views per post

Engagement rate per post

What the audience does

Followers by day

Ähnliche Konten