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…
#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…
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. github.com/MoonshotAI/Kim…
United States Trends
- 1. Veterans Day 315K posts
- 2. Luka 79.5K posts
- 3. Nico 134K posts
- 4. Mavs 30.9K posts
- 5. Gambit 35.8K posts
- 6. Toy Story 5 2,046 posts
- 7. Sabonis 3,050 posts
- 8. Kyrie 7,237 posts
- 9. Wike 92K posts
- 10. Payne 10K posts
- 11. Pat McAfee 3,492 posts
- 12. Vets 27.9K posts
- 13. Bond 70.4K posts
- 14. Wanda 25.2K posts
- 15. #csm220 8,537 posts
- 16. Tomas 19.5K posts
- 17. Jay Rock 3,071 posts
- 18. Antifa 172K posts
- 19. Dumont 24.9K posts
- 20. Rogue 46.5K posts
Something went wrong.
Something went wrong.