#aitheoremproving — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #aitheoremproving, aggregated by home.social.
-
🚀 DeepSeekMath‑V2 just clinched gold at IMO 2025 and topped the China Math Olympiad! This open‑source AI is now beating top human competitors in Putnam 2024, AIME, HMMT and even tackling theorem proving. Curious how an open model reshapes math contests? Read the full story! #DeepSeekMathV2 #IMO2025 #ChinaMathOlympiad #AItheoremProving
🔗 https://aidailypost.com/news/deepseekmathv2-wins-gold-imo-2025-tops-china-math-olympiad