当AI证明了自己：80年悬而未决的数学猜想被机器终结 2026年6月，OpenAI的研究团队投下了一枚震撼数学界的"炸弹"——其内部AI模型独立发现了一个著名数学猜想的反例，推翻了匈牙利传奇数学家Paul Erdős在1946年提出的平面单位距离问题（Erdős问题90）的核心假设。这是AI首次自主
2026-06-18
AI不再只是科学家的工具——AI自己正在成为科学家 2026年，AI在科学研究领域迎来了一个里程碑式的转折：AI不再仅仅作为"科学家的辅助工具"存在，而是开始扮演"独立研究者"的角色。从提出假设到设计实验，从执行计算到分析结果，再到撰写论文——AI正在证明自己可以完成科学研究的完整闭环。 这场变革的
2026-06-17
AI正在成为科学发现的第三支柱2026年，AI在科学研究领域的角色发生了质的飞跃。它不再是仅仅帮科学家“查文献、写报告”的辅助工具，而是开始主动参与科学发现的过程——提出假设、设计实验、分析结果、迭代改进。微软研究院院长Peter Lee指出：“2026年，AI将不仅总结论文和回答问题，它将主动加入
2026-06-15