本週總結: - 我們發布了使用代理的通用計算機 - 在 atcoder 問題競賽中被一位人類擊敗 - 用自然語言證明解決了 5/6 個新的 IMO 問題 所有這些都基於同一個強化學習系統
138.22K