AIが世界で最も難しい数学コンペティションで満点を獲得した。 プットナムの問題は12問×10点です。昨年の最高得点は90点でした。中央分離帯?0. AxiomのLean版AIプロバーは120/120のスコアを出し、すべての解答を共有しました。 数学におけるAIにとって大きな節目です。
源:
206