Top Tweets for #FormalMath
OpenGauss (Math, Inc.) — Lean workflow orchestrator for formal math with AI agents. Prove, draft, review, formalize & autoformalize theorems. Multi-agent swarm with managed backends.
1.2K ⭐ Python
#GitHub #FormalMath #AI

OpenGauss — a multi-agent Lean 4 workflow orchestrator for formal math. 🔢
Prove, draft, review, formalize & autoprove with AI agents. Project-scoped CLI with managed backend setup, swarm tracking & recovery.
⭐ 1.1K
#OpenSource #Lean4 #FormalMath

Day 3 at #ItaLean2025 here in Bologna!
Great talks this morning and now the project work session is buzzing: so many new ideas everywhere and exciting collaborative projects taking shape.
What a fantastic atmosphere!
#LeanLang #FormalMath #AI4Math

We’re pleased to announce #ItaLean2025: Bridging Formal Mathematics and AI, an international conference dedicated to @LeanProver, Formal Mathematics, and AI4Math.
📍 University of Bologna
🗓 9–12 December 2025
Proudly supported by @HarmonicMath.
#LeanLang #FormalMath #AI4Math

🚨 Principia Fractalis v3.4 is LIVE
1,084 pages. 24 theorems. 33 axioms.
100% verified in Lean 4 — zero sorry — across macOS, Linux, Windows, CI. This is what formal math looks like in 2025. https://t.co/XDRvOD5YIH
#LeanProof #PvsNP #FormalMath
@leanprover @leodemoura created it, it's great 🙂: small kernel, massive library, zero bloat. Here is a demo:
https://t.co/f8ILgDusUL
#LeanProver #Mathlib #FormalMath
Thrilled to see #ItaLean2025 officially announced! It’s been great working with such an amazing team to make this happen. Applications are now open, join us in Bologna this December! #LeanLang #AI4Math #FormalMath
We’re pleased to announce #ItaLean2025: Bridging Formal Mathematics and AI, an international conference dedicated to @LeanProver, Formal Mathematics, and AI4Math.
📍 University of Bologna
🗓 9–12 December 2025
Proudly supported by @HarmonicMath.
#LeanLang #FormalMath #AI4Math

We’re honoured to host an exceptional lineup of speakers representing both academia and industry, working at the cutting edge of #FormalMath and #AI4Math.
@RiccardoBrasca @AlexKontorovich @jdlichtman @augpoi @emilyriehl @EricWieser and others not on @X.

We’re pleased to announce #ItaLean2025: Bridging Formal Mathematics and AI, an international conference dedicated to @LeanProver, Formal Mathematics, and AI4Math.
📍 University of Bologna
🗓 9–12 December 2025
Proudly supported by @HarmonicMath.
#LeanLang #FormalMath #AI4Math

The first volume of the new Open Access journal "Annals of Formalized Mathematics" was released today!
➡️https://t.co/AHdZJ1QDWh
#FormalMath #Mathematics #OpenAccess
#IMO2025 has begun a few hours ago, wishing a great Olympiad to all the students! We're eager to see how the different AIs perform, including ours 💪🔥
#AI4Math #FormalMath #LeanProver #AutomatedReasoning #TheoremProving #ProofAssistant #MachineLearning #AIResearch #OpenScience #Lean4 #LeanLang

This April, we released Kimina-Prover Preview. Stay tuned! Full release is coming soon 🚀
#AI4Math #FormalMath #LeanProver #AutomatedReasoning #TheoremProving #ProofAssistant #MachineLearning #AIResearch #OpenScience
We believe formal math is the future.
🔥Introducing Kimina-Prover Preview, a Numina &
@Kimi_Moonshot collaboration, the first large formal reasoning model for Lean 4, achieving 80.78% miniF2F.
https://t.co/fNX7orQYeZ

Hello World! 👋 We're thrilled to officially launch the X account for Numina, dedicated to advancing frontier AI in mathematics. Stay tuned for updates on our research, achievements, and the future of mathematical AI!
#AI4Math #FormalMath #LeanProver #AutomatedReasoning #TheoremProving #ProofAssistant #MachineLearning #AIResearch #OpenScience

This talk by @yannfleureau is a great introduction to Project Numina and their open-source dataset of mathematics problems and solutions. We look forward to the results from IMO 2025!
➡️ Watch the video here: https://t.co/1sButROe4z
#AI #Mathematics #OpenSource #FormalMath #LeanLang
What if AI could generate mathematical proofs that can be verified rigorously by machines? 🤖🧮 In Lecture 9 of Advanced LLM Agents MOOC, @KaiyuYang4 (@Meta FAIR) explores how large language models merge with formal systems like Lean to deliver fully verifiable math! #FormalMath #AI
1/8 First, this lecture discusses a two-step training process:
• LLMs are pretrained on text & code.
• They are then finetuned on a vast, curated corpus of math data with step-by-step solutions. But verifiability matters when proving theorems! 🎯

This COLONIAL education needs to be dismantled in STEM fundamentals & brainwashing done through formal math should be stopped, not because it's colonial but because it's hindering better knowledge #Ganith ≠ #FormalMath
@narendramodi @PMOIndia
@EduMinOfIndia
@dpradhanbjp
The new lie the West invented was that "Euclid" INTENDED axiomatic proofs but FAILED to provide them.
How do you know "Euclid's" intent?
Early commentator Proclus explains that diagrams in the "Euclid" book show he related math to religious belief in soul (pic1), and intended for geometry and math to arouse the soul as Plato explained. (pic2)
But the church padres told you don't believe these pagans the church cursed. Don't believe commonsense that Euclid related to Plato who preceded him.
Believe the church teaching that "Euclid" related to the theological method of axiomatic proof invented by the Crusading church, 1500 years later, but not found in Euclid, and for which diagrams are irrelevant.
Govt of India officially agrees (pic3,4) that all Indians must blindly accept whatever the church says about math which is repeated in Western texts, for the church which ruled the West set up and fully controlled Western education till 19th c., on which colonial education is built. /5

Trends for you
Most Popular Users

Elon Musk 
@elonmusk
240.1M followers

Barack Obama 
@barackobama
119.3M followers

Donald J. Trump 
@realdonaldtrump
111.6M followers

Cristiano Ronaldo 
@cristiano
108.8M followers

Narendra Modi 
@narendramodi
106.9M followers

Rihanna 
@rihanna
97.2M followers

NASA 
@nasa
92.1M followers

Justin Bieber 
@justinbieber
90.5M followers

KATY PERRY 
@katyperry
86.7M followers

Taylor Swift 
@taylorswift13
80.5M followers

Lady Gaga 
@ladygaga
72.1M followers

Kim Kardashian 
@kimkardashian
69.3M followers

YouTube 
@youtube
68.6M followers

Virat Kohli 
@imvkohli
68.4M followers

Bill Gates 
@billgates
63.4M followers

The Ellen Show
@theellenshow
62.5M followers

CNN 
@cnn
61.9M followers

Neymar Jr 
@neymarjr
60.9M followers

X 
@x
60.9M followers

CNN Breaking News 
@cnnbrk
59.9M followers














