卧槽,给 AI 的数学证明挑错,现在也有奖金拿了。
超衍智能
@apexin_ai 拿出 10 万元奖金池,公开了三份待验证的数学论证,请全球研究者来找漏洞、查证明。里面还包括 Nivat 猜想的凸形式。
超衍智能(Apex Intelligence)
@apexin_ai 由清华人工智能学院助理教授陈勇超创立。这次,他们的 AI 系统与来自清华等高校的合作数学家,推进了五项数学研究。
两项已经过作者/合作数学家核验,另外三份还是候选论证,正是这次悬赏要请大家检查的对象,不能直接说已经解决了对应的数学问题。
已核验的成果里,有一项是在改进数学问题的求解方法。研究把已有的 Halpern 迭代和一个新构造结合,让一类优化问题在理论上能用更少的迭代达到目标精度。它研究的是解题方法本身,不只是给出某道题的答案。
接下来,论文公开了,具体怎么查,也可以由更多研究者接着做。
你可以找出影响结论的漏洞,也可以独立验证一个关键引理,或者补上缺口、把结果往前推进。不用一个人从头到尾啃完三篇论文,针对具体的证明模块,也能提交贡献。
这也是我觉得这次值得关注的地方:检查之后发现证明有问题,同样可以成为获奖的贡献。
10 万元是总奖金池,最终由评审确认贡献和获奖结果。做数学、形式化验证的朋友,可以去看看具体题目,说不定就有你熟悉的方向: