「數學AI」相關新聞

Google DeepMind AlphaProof 登上《自然》期刊：AI 首度達到國際數學奧林匹克銀牌水準

Google DeepMind 的 AlphaProof 論文正式刊登於《自然》期刊，詳細揭示其如何以強化學習在 IMO 2024 中解出六題中的四題，達到銀牌水準，且每道解答均可自動驗證、零幻覺。