AI涉足数学证明领域：人工核验面临新挑战
AI虽然能够提出新问题，但要确认所得结论是否成立，终究离不开人类的把关。
短短一周内，来自三家不同机构的AI系统，分别提交了数学家们至今未能攻克的解答。然而一个现实问题浮现出来：随着AI大规模"提交成果"，评判工作该由谁来完成？
01 AI"作答"的节奏
据相关消息，Anthropic公司一款尚未对外发布的模型，在大约60小时内独立运行，对后量子签名算法HAWK的密钥安全强度做了全新测算。它将原本高达2^64的搜索范围缩减至2^38，效率跃升约6700万倍，此外还将针对AES-128的攻击速度加快了200至800倍。
图1：AI攻克复杂数学公式全息呈现 ·