AI 颠覆 80 年数学定论：OpenAI 反驳 Erdős 猜想启示录
一款人工智能模型，耗时不足一日，便揭示了人类数学家长达八十年的认知谬误。这并非虚构故事。2026 年 5 月 20 日，OpenAI 公布其内部模型自主推导出 Erdős 单位距离猜想的反例——这一难题曾令数学界困扰近百年。荣获数学界最高奖项菲尔兹奖的 Tim Gowers 在查阅结果后表示："毋庸置疑，单位距离问题的突破标志着 AI 数学发展的里程碑。"然而他随即补充道：当他意识到 AI 实际上是"证伪"而非"证实"该猜想时，他感到"如释重负
曾毓群谈科学精神：证伪比创新冲动更关键
4月21日晚，宁德时代召开了2026年“超级科技日”发布会，主题定为“极域之约”。据官方介绍，这是该公司自创立以来技术含金量最高的一次活动。宁德时代董事长兼CEO曾毓群在会上指出，推出新技术和新产品，本质上都是在回应同一个核心议题：在新能源时代，如何解决那些最关键且最棘手的难题。他提到，2026年行业发展迅猛，近两三个月来，新技术、新产品及新概念层出不穷，这显示出行业仍在持续进步，也表明各方都在积极挖掘新机遇。然而，越是处于这种阶段，越需要回归到一些更本质的基础问题上来。 他从工程师的角度阐述了对技术和创