彼らの賭けは、正式な数学 AI システム (AlphaProof など) を可能にしました。2022 年には、LLM が 2025 年までに IMO ゴールド レベルになるとは考えた人はほとんどいませんでした。
Nat McAleese
Nat McAleese7月19日 17:47
予想よりも一般的な方法により、2025 年にそれぞれ 8% と 16% の金を獲得した **Paul Christiano** と **Yudkowsky** が予測したよりもはるかに速い AI の進歩が見られます
158.3K