sphere packing

AI作为联合探索者：宣言勾勒新数学研究前沿

该宣言提出科学发现新时代，AI将超越单纯的助手或计算器角色，成为联合探索者。它勾勒了数学研究的七个“天堂”或领域，AI可在其中发挥关键作用，包括数论（例如，攻克Erdős–Straus猜想和黎曼猜想）、组合学（例如，探索拉姆齐理论）、几何学（例如，发现新的球体堆积结构）以及代数（例如，不变子空间问题）。提出的工作流程包括人类猜想、AI探索、形式验证和人类解释，旨在实现有解释的发现，而非仅仅是搜索。