The final push towards Asymptotic RS MCA just landed on Github and I think it's a beautiful piece of mathematics merging moduli viewpoint with deep additive combinatorics results of Tao and Gowers.…

Not for these new additions (v13), but v12 does have a Lean blueprint already, and some of the other papers are partially formalized:

Working with Aristotle from @HarmonicMath, an AI agent for formalization in Lean, is a great pleasure lately: - easy to follow up and instruct on what needs to be changed - great documentation -…

"Hey Fable, solve RS MCA Conjecture, make no mistakes" Back at working with Fable + GPT-5.5 Pro duo to push the frontier on Proximity Prize. This is an open collaboration project to win $1m in prize.…

Proximity Prize here we come! Our RS MCA github repo just got a proper website (link below) and some results are now easier to browse. Altogether we have 7 active collaborators. Do you want to share…

If you want to contribute, simply point your agents at agents.md and let them work. They will know what to commit and where. ->

Fable 5, GPT-5.5 Pro and $1,000,000 math problem This is not a Millenium Prize Problem and it is not a full claim but an invitation for you... While Mythos was available for a brief moment, I've…