Project Numina (@projectnumina) 's Twitter Profile
Project Numina

@projectnumina

Advancing open-source AI for Math

ID: 1941055839420526592

calendar_today04-07-2025 08:46:23

10 Tweet

193 Takipçi

11 Takip Edilen

Project Numina (@projectnumina) 's Twitter Profile Photo
Project Numina
@projectnumina

4 months ago

This April, we released Kimina-Prover Preview. Stay tuned! Full release is coming soon 🚀 #AI4Math #FormalMath #LeanProver #AutomatedReasoning #TheoremProving #ProofAssistant #MachineLearning #AIResearch #OpenScience

Project Numina (@projectnumina) 's Twitter Profile Photo
Project Numina
@projectnumina

3 months ago

#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

#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