tweetindex
EN

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

Latest posts

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 →
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 →
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 →
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 →
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 →
@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 →
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 →
https://t.co/MrOpgdB5mp https://t.co/A7rNfO137c https://t.co/8Z1bKtGgsz 14.5K views · 138 likes · 17 reposts · 2 replies Open on X →
@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 →
Watch the full conversation on YouTube: https://t.co/7XrYiimLlE 17.1K views · 106 likes · 20 reposts · 1 replies Open on X →
🚨 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 →

Against accounts of the same size

1 posts from the last 90 days, next to the 10K–100K follower range. shown to more people than peers of the same size.

Median views8 334this account895median for 10K–100K
Reach, %61.82%this account3.22%median for 10K–100K
Engagement, %1.79%this account1.98%median for 10K–100K
MetricThis accountMedian for 10K–100KRatio
Median views per post8 3348959.31×
Reach (views ÷ followers)61.82%3.22%19.2×
Engagement rate1.79%1.98%0.90×

Others in this range →   Compare with another account →   How these benchmarks are built →

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.

Similar accounts