Epoch AI 宣布,FrontierMath:Open Problems 中又有一道问题被解决。解法并非来自某位数学家独自的灵光一现,而是在 Becker、Greger 和 Dominik Peters 与 GPT-6 Astra 的交互会话中被引导得出的。

这道问题最初正是由 Peters 本人为该基准提出的。换句话说,出题人自己参与了解题过程,而解题的关键一步由模型完成。

打开网易新闻 查看精彩图片

它给出的不是答案,是规则

GPT-6 Astra 设计出一种满足 core stability 的新投票规则。这个规则建立在一个被称为 harmonic entropy 的目标函数之上,而该函数综合了多年来人类在这一方向上发展的多种思路。

投票规则听起来抽象,但它处理的是集体决策中最实际的问题:一群偏好各不相同的人,如何得到一个让各方都难以反对的结果。core stability 正是衡量这种稳定性的标准之一。

Peters 看到了更远的用途

Peters 表示,这一新技术或可用于为其他集体决策问题构建公平解。也就是说,这次被解开的可能不只是一道基准题,而是一套可以迁移的方法。

从出题到解题,再到指向更多问题,这条链路里人类与模型的分工已经不太容易划清。