数学家启动“First Proof”，一项首开先河的AI数学考试
内容摘要
一组顶尖学者启动了名为“First Proof”的考试，该考试包含与当前研究相关的未解决数学问题，旨在严格测试人工智能系统在纯数学方面的能力。此举源于对人工智能行业声称的数学证明缺乏透明度而感到沮丧，并希望进行可控的、透明的实验，而不是依赖于奥林匹克竞赛问题或现有文献搜索的先前成功。十一位数学专家（包括一位菲尔兹奖得主）为这些问题贡献了加密的证明，这些问题被描述为“引理”——是证明更大结果过程中至关重要的微小定理，但通常不会单独发表。该考试的目标不是解决重大的未解难题，而是展示人工智能作为加速日常数学研究繁琐部分的工具的近期潜力。
(来源：Scientific American)