内容摘要OpenAI的一款人工智能模型成功推翻了离散几何领域中困扰人类数学家80年的Erdős单位距离猜想。该模型并未开创全新的数学方法，而是巧妙地结合了代数数论等多个领域的现有知识，发现了一种人类因过程繁琐、成功率低而往往放弃的证明路径。这一成果标志着AI在数学研究中的作用进一步增强，展示了AI在处理大规模知识库及进行试错型研究方面的优势，同时也强调了人类数学家在验证结果、扩展理论及提出前沿科学问题方面依然不可或缺的协同作用。
(来源：Ars Technica)
扩展 Project Glasswing
Gemini Spark 是我目前体验过最令人印象深刻也最恐怖的 AI
ZeroDrift 融资 1000 万美元，旨在保护 AI 模型免受自身错误影响
Alphabet 计划筹集 800 亿美元，Berkshire 尽管拥有 1740 亿美元现金流仍注资 100 亿美元
Codex 正在成为人人适用的生产力工具
Alphabet 计划筹集 800 亿美元用于人工智能建设
Nvidia 携手 Microsoft、Dell 和 HP，凭借 AI 智能体 PC 进军 2000 亿美元 CPU 市场
佛罗里达州起诉 OpenAI 和 Sam Altman，就暴力事件提起首例此类诉讼
这可能是 Windows 的 M1 时刻——但价格恐怕会非常昂贵
Gemini 的新款 AI 智能体表现正如 Google 的演示一般