开放世界多智能体环境中的自主数学发现
一项研究考察了不同模型系列的 AI 智能体如何在没有中央协调者或预设流程的开放环境“Station”中开展数学研究。在 12 个构造问题和另外两个案例研究中，该系统在五个问题上取得了相较既有文献的新成果，包括有限域 Kakeya 集合的新无限族、11 维空间中精确的 604 点接吻配置、离散 Kakeya 针问题和符号不确定性问题的新纪录，以及对 Erdős 最小重叠问题下界的显著改进。智能体不仅生成了数值构造，还提出了解释其工作原理的定理和分析。研究团队将公开原始对话、证明和验证代码。
本文来源：Hugging Face，仅供学习参考，版权归原作者所有。