Google DeepMind 啟動「AI for Math Initiative」：攜手全球頂尖機構，加速數學科學新發現★ 75
Google DeepMind Blog228 days agoReleaseGoogle DeepMind has officially announced the launch of the "AI for Math Initiative," a major program aimed at deeply integrating artificial intelligence into…
搭載 Deep Think 的進階版 Gemini 正式在國際奧林匹亞數學競賽中達到金牌標準★ 90
Google DeepMind Blog233 days agoReleaseThe International Mathematical Olympiad (IMO) has been held annually since 1959 and is the most prestigious and difficult mathematics competition for high…
Google 於 Gemini 應用程式推出 Deep Think 功能，並向數學家開放 IMO 級 Gemini 2.5 完整版★ 85
Google DeepMind Blog234 days agoReleaseGoogle DeepMind has officially announced the rollout of the "Deep Think" feature for Google AI Ultra subscribers within the Gemini application. This new…
Kimina-Prover-RL：Hugging Face AI-MO 推出結合強化學習的開源數學定理證明器★ 80
Hugging Face Blog304 days agoReleaseThe AI-MO (AI Mathematical Olympiad) team at Hugging Face has officially released the "Kimina-Prover-RL" project. Following the previously well-received…
Kimina-Prover：在大型形式化推理模型中應用測試時強化學習搜尋 (Test-time RL Search)★ 82
Hugging Face Blog339 days agoReleaseHugging Face's AI-MO (AI Math Olympiad) team has officially published Kimina-Prover, a research paper demonstrating how "test-time reinforcement learning…
Hugging Face 推出 Math-Verify：修正 Open LLM Leaderboard 的數學評測偏差★ 78
Hugging Face Blog485 days agoNew ToolHugging Face's Open LLM Leaderboard has long served as an important barometer for measuring the capabilities of open-source large language models (LLMs)…
NuminaMath 如何贏得首屆 AIMO 進步獎（AI 數學奧林匹亞）並宣佈完整開源★ 80
Hugging Face Blog703 days agoRelease### Background and Achievement The AI Mathematical Olympiad (AIMO) Progress Prize aims to advance AI models capable of solving Olympiad-level mathematical…