标签
Thomas Bloom 撰写了一篇综述博文,介绍了近期关于 Erdős 单位距离猜想和实数域上和积猜想的反例,包括借助 OpenAI 辅助推翻单位距离猜想的工作,以及通过合作推翻和积猜想的工作,并概述了相关构造方法及其背后的直觉。
Demis Hassabis评论称,解决Erdos问题并不构成真正发明,提供了关于AI创造力和问题解决本质的视角。
2026年开年以来,AI以摧枯拉朽的速度完整解决了至少10个Erdős问题,若包括新解则达19个,被视为数学科研的珍妮纺纱机。
Google DeepMind的AI代理自主解决了353个未解决的Erdős数学问题中的9个,每个问题花费仅几百美元。