Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment
开放世界多智能体环境中的自主数学发现
机构 * DualverseAI ; University of Cambridge(剑桥大学) ; University of Hong Kong(香港大学) ; University of California San Diego(加州大学圣迭戈分校)
AI总结 本研究在开放世界多智能体环境Station中,让AI智能体自主开展数学研究,在多个数学问题上取得新结果,生成可解释的定理与分析,并公开相关原始数据与代码。
Comments 38 pages, 12 figures, 3 tables. Source code at this https URL (https://github.com/dualverse-ai/station) and raw agent dialogues, proofs, and verification artifacts at this https URL (https://github.com/dualverse-ai/station_data_v2)