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