要点速览
- OpenAI和Anthropic的AI模型先后独立破解了困扰数学界80年的Erdős单位距离猜想
- 谷歌强制推行AI搜索导致用户大量转向DuckDuckGo,CEO皮查伊承认搜索结果主观性过强
- SpaceX、OpenAI、Anthropic三家万亿美元估值公司扎堆筹备上市,2026年或创美股IPO纪录
- Uber四个月烧光全年AI预算,企业开始反思AI投入的真实回报
- 支付宝发布全球首个Token Pay服务,AI原生支付基建正式落地
- 字节跳动今年AI基础设施支出最高可达700亿美元,与高通达成数百万颗芯片采购协议
- 小米MiMo大模型API永久降价99%,大模型价格战白热化
- OpenAI广告业务全面开放,取消20万美元门槛进军中小企业市场
- 奥尔特曼改口承认AI对白领岗位的冲击不如预期严重

AI科学发现里程碑:两大模型独立攻克80年数学猜想
OpenAI推理模型独立解决Erdős单位距离猜想
OpenAI的推理模型在没有人工引导的情况下,推翻并证明了困扰数学界80年的埃尔德什单位距离猜想。1946年数学家保罗·埃尔德什提出:在平面上放n个点,最多能有多少对点之间的距离恰好等于1?过去80年主流观点认为是线性增长。OpenAI模型另辟蹊径,用代数数论方法构造了全新的点集排列,证明单位距离点对的增长速度可以超过线性增长。成果长达125页,已获全球顶尖数学家验证。菲尔兹奖得主蒂莫西·高尔斯评价这是
