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

Derniers posts

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

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_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_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 →

Face aux comptes de taille comparable

1 posts des 90 derniers jours, à côté de la tranche de 10K–100K abonnés. diffusé à plus de monde que les comptes de taille comparable.

Vues médianes8 334ce compte886médiane pour 10K–100K

Portée, %61.82%ce compte3.22%médiane pour 10K–100K

Engagement, %1.79%ce compte1.99%médiane pour 10K–100K

Indicateur	Ce compte	Médiane pour 10K–100K	Rapport
Vues médianes par post	8 334	886	9.41×
Portée (vues ÷ abonnés)	61.82%	3.22%	19.2×
Taux d'engagement	1.79%	1.99%	0.90×

Autres comptes de cette tranche → Comparer avec un autre compte → Comment ces repères sont établis →

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

327.5K19 Mar

14.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%

0.84%19 Mar

1.09%

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.99%.

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.

Derniers posts

Face aux comptes de taille comparable

Growth & engagement

Views per post

Engagement rate per post

What the audience does

Followers by day

Comptes similaires