formal-math
formal-math is Yes, it seems indeed the models even obtained the results on the same day. I haven't had a chance to look through the OAI claimed proof yet, but in the spirit o. It is ranked #158 on the AI Radar, in AI research, first seen 10 days ago and shared in 18 posts (1.2M views).
What formal-math says about itself
Contribute to anthropics/formal-math development by creating an account on GitHub.
formal-math/eth at 16a5ce41304fcdaea4e0be7c132e1c361dc26da5 · anthropics/formal-math · GitHub Skip to content Navigation Menu Sign in Appearance settings Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} Repository navigation Files Expand file tree 16a5ce41304fcdaea4e0be7c132e1c361dc26da5 / eth / Copy path Directory actions More options More options Directory actions More options More options…
What people said about formal-math on X
“The core algorithm was found on October 16 by an internal Claude research model with 14M output tokens and no human input. Anthropic researchers worked with Claude to improve the presentation, resulting in this paper.” https://github.com/anthropics/formal-math/tree/16a5ce41304fcdaea4e0be7c132e1c361dc26da5/eth
— @__alpoge__, 10 days ago · 2.5k likes · see the post
This is extremely confusing, but an internal Claude research model also independently refuted the Exponential Time Hypothesis on October 16, with 14M output tokens and no human input. 'Anthropic researchers worked with Claude to improve the presentation, resulting in this paper.'
— @AndrewCurran_, 10 days ago · 1.3k likes · see the post
yeah. math is dead. theoretical physics too. 14M output tokens is like 3-4 days with a single model.
— @scaling01, 10 days ago · 1.2k likes · see the post
Alternatives to formal-math
- alphaXiv — Now on @askalphaxiv
- flashprove — Further progress in provable inference will likely be an important part of improving trust in AI deployment. To that…
- moe-blogpost — A hands-on guide to training Mixture-of-Experts models
- liberai.com — Technical blog
- Science's Last Exam — Can AI do research, end to end? Science's Last Exam defines and measures whether an AI agent can carry a research goal…
- science-last-exam — Science's Last Exam. Contribute to Gen-Verse/Science-Last-Exam development by creating an account on GitHub.
formal-math in numbers
- Rank on the AI Radar: #158 of 10395
- Shared in 18 posts by 18 accounts: @__alpoge__, @AndrewCurran_, @scaling01, @kimmonismus
- 1.2M views on those posts
- First seen 10 days ago, last shared 9 days ago
- Pricing seen by AGK Intelligence: open source
- Market: AI research
FAQ
What is formal-math?
Yes, it seems indeed the models even obtained the results on the same day. I haven't had a chance to look through the OAI claimed proof yet, but in the spirit o It was first shared on X 10 days ago and is ranked #158 on the AI Radar.
Is formal-math free?
It is open source.
Who shared formal-math?
18 accounts on X, including @__alpoge__, @AndrewCurran_, @scaling01, in 18 posts totalling 1.2M views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 65.7k posts from 5k X accounts over the last 14 days, 10.4k tools, 19 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-06 14:10 UTC. Full method.