他们的赌注允许正式的数学人工智能系统(如 AlphaProof)。在 2022 年,几乎没有人认为到 2025 年,一个 LLM 能够达到 IMO 金牌水平。
Nat McAleese
Nat McAleese7月19日 17:47
我们看到的人工智能进展比**保罗·克里斯蒂亚诺**和**尤德科夫斯基**预测的要快得多,他们分别在2025年预测的黄金标准为8%和16%,而且这些方法比预期的更为通用。
161.35K