OpenAI 模型攻克 Erdős 80 年数学猜想
5月20号晚上,OpenAI扔了一份证明出来。 1946年Paul Erdős问过一个问题:平面上摆n个点,能有多少对点彼此距离恰好等于1?整整80年里,数学界主流的答案是——按方格排大致就接近最优,对数最多到 n^ 1+o 1 ——意思是
5月20号晚上,OpenAI扔了一份证明出来。 1946年Paul Erdős问过一个问题:平面上摆n个点,能有多少对点彼此距离恰好等于1?整整80年里,数学界主流的答案是——按方格排大致就接近最优,对数最多到 n^ 1+o 1 ——意思是
5 月 20 日,OpenAI 发了份不怎么张扬的公告—— 它正式成为 C2PA Conforming Generator Product (一家符合内容来源认证规范的生成器产品),并且——这才是关键的—— 把 Google DeepMin
5 月 20 日盘后,NVIDIA 把 Q1 FY27 的成绩单端上来—— 营收 $816 亿 ,同比涨 85%,比华尔街预期的 $789 亿多了将近 30 亿。 净利润 $583 亿 ,每股 GAAP 利润 $2.39,市场预期是 $1.
I/O 2026 的开场 demo 里,Google 干了件挺逗的事。 他们让 Antigravity 2.0 写了一个操作系统。 12 小时、93 个 AI 子 agent、几十亿 token、不到 1000 美金的算力 ——OS 内核跑
5 月 18 日。 RADAR 拿了 1.7 亿美元 B 轮 ,估值跨过 10 亿——美国实体零售圈第一只严格意义上的 AI 独角兽,这次不是做 SaaS,是做硬件加 AI。 领投是 Gideon Strategic Partners 和
Code with Claude 在伦敦开场那天,Anthropic 扔出来的东西是给企业 IT 看的—— Claude Managed Agents 多了两个新部件 :自托管沙盒(Self Hosted Sandboxes)进了公测,MC
5 月 18 日,Cursor 把 Composer 2.5 扔了出来。这是它的第三代自家编程模型,也是第一次在公开 benchmark 上跟 Opus 4.7、GPT 5.5 站到同一档位——而单次任务的成本,只到对手的十分之一。 数字摆
GLP 1 类减肥药(Ozempic、Wegovy 那一挂)这两年卖爆。但医保公司算账时发现一个数据特别难看—— 开了 GLP 1 六个月之后,不到一半患者还在用药 。 停药的主要原因不是副作用,是没人教他们配合饮食。 5月19日,专做"A
在美军军舰上跑大模型推理。在挪威北海的油气平台上跑 AI 工作流。在澳大利亚远程矿区给生产线做实时优化。 这事现在真有公司在做——5月19日刚拿了 2.3 亿美金 B 轮。 客户列表比融资数字更值得看 Armada 这轮 B 轮 2.3 亿
Stainless 是这样一家公司——你日常用的 OpenAI、Google、Anthropic、Cloudflare 的官方 SDK,几乎都是它生成的。 5月18日下午,Anthropic 把它买了。 一家替对家干活的小厂 Stainle