OpenAI 宣布，其内部通用推理模型构造出新的点集配置，推翻了埃尔德什在 1946 年提出的著名“平面单位距离猜想”。外部数学家随后在 arXiv 上发表论文，对这一 AI 生成的反例进行了严格验证，并给出了更为明确的下界结果。

一位并非科班出身的数学爱好者，用一条提示词促成了 GPT-5.4 Pro 对埃尔德什问题 #1196 的完整证明。该证明随后被数学界审查，并用定理证明系统 Lean 完成形式化验证，未解难题的状态正式更新为“PROVED (LEAN)”。

美国数学家格拉迪斯·梅·韦斯特（Gladys Mae West）去世，享年95岁。她被认为是全球定位系统（GPS）背后的关键人物之一，其计算工作帮助将地球形状的复杂特征转化为可用于定位的精确数字坐标，为当今从叫车应用到商用航空等多种导航场景奠定基础。 韦斯特出生于弗吉尼亚州乡村，原名格拉迪斯·梅·布朗（Gladys Mae Brown）。在她成长的社区里，农活往往被视为默认的未来，黑人儿童接受高等

一项发表在学术期刊《Leonardo》上的思维实验指出，对蜜蜂信息处理和数学能力的研究，或有助于人类思考如何通过数学与潜在的外星生命建立交流。

韩国高等科学研究院研究员白镇彦在未借助计算机的情况下，给出“移动沙发问题”的119页证明，确认格弗沙发为最优解，该成果入选《科学美国人》“2025年十大数学发现”。

韩国高等科学研究院研究员白镇彦给出“移动沙发问题”的完整证明，确认格弗沙发为最优解，其119页论文未使用计算机辅助，被《科学美国人》列为“2025年十大数学发现”之一。