他們的賭注允許正式的數學人工智慧系統(如 AlphaProof)。到 2022 年,幾乎沒有人認為 LLM 到 2025 年可以達到 IMO 黃金級別。
Nat McAleese
Nat McAleese2025年7月19日
我們看到的人工智慧進展速度遠超過**保羅·克里斯蒂亞諾**和**尤德科夫斯基**的預測,他們預測2025年的金價分別為8%和16%,而且這些方法比預期的更為通用。
164.56K