Project Numina
@ProjectNumina
Followers
75
Following
3
Media
3
Statuses
5
Advancing open-source AI for Math
Paris
Joined July 2025
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
0
6
16
Our SFT and RL dataset of formal math statements and proofs will also be fully available soon.
0
0
3
New milestone for Project Numina and Kimi Moonshot! 🚀 We are open sourcing our KiminaProver-72B. This SotA theorem-proving model comes with Test-Time Reinforcement Learning Search and Error-Fixing Capability. We’re putting it to the test soon, with the IMO just around the corner
1
10
28
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.
0
4
9