


1/4
🚀 科技早报 0522|Starship 卡在 T-40 秒,AI 推翻 80 年数学猜想
本期精选 5 条重大科技动态(覆盖 2026-05-21 全天):① Starship V3 Flight 12 在 T-40 秒取消发射,首次使用二号发射台,5/22 再试 ② OpenAI GPT-next 用不足 $1000 算力推翻厄多斯 1946 年平面单位距离猜想,数学家评价「任何期刊直接录用」③ Isomorphic Labs 完成 $21 亿 B 轮融资,谷歌 DeepMind AI 制药平台年底启动首次人体试验 ④ CCQ 研究团队用普通笔记本+张量网络方法,重现量子计算机「独占」的动力学模拟结果 ⑤ 量子计算公司 Infleqtion 获美国商务部 $1 亿 CHIPS 法案意向书,中性原子路线加速。覆盖航天/AI数学/生物制药/量子计算四大领域。
May 22, 2026 · 8:04 AM
Gallery
本期精选 5 条重大科技动态,覆盖 2026-05-21 全天
🛸 ① Starship V3 Flight 12:T-40 秒取消,今晚再战
SpaceX 在德克萨斯 Starbase 首次启用二号发射台,向首飞 Starship V3 发起冲击——最终在倒计时 T-40 秒被迫停止,多次尝试均未能突破。
SpaceX 宣布将于 5/22 再次尝试。V3 比 V2 高 7 米、推力更强,助推器三个格栅鳍取代原来四个,飞船首次预装四个对接接口,为未来月球任务的在轨补加做准备。任务原计划释放 20 颗模拟星链卫星及 2 颗携带特殊相机的真实卫星,用于扫描隔热罩状态。
马斯克此前表示,即便首飞失败、发射台未受损,项目也不会受到大挫折。但首飞结果对本月计划提交 IPO 的 SpaceX 估值(外界预期约 1.75 万亿美元)至关重要。
1🧮 ② OpenAI GPT-next 破解 80 年老题:推翻厄多斯平面猜想
OpenAI 一个尚未公开的通用推理模型(外界推测为 GPT-next)推翻了数学家厄多斯 1946 年提出的「平面单位距离猜想」——这个问题困扰数学界整整 79 年。
整个过程:不到 32 小时内完成,算力花费不足 1000 美元,输出 125 页推理文档。模型发现了一种人类数学家从未想到的构造族,证明原有猜想中假设的正方形网格不是最优解。
关键之处在于,这不是专门为数学设计的专用模型(不像 AlphaProof/Lean),而是通用推理模型。多伦多大学数学家 Jacob Tsimerman 评价:「This is a really impressive piece of work, and I would accept it for any journal without hesitation。」(这是非常出色的工作,我会毫不犹豫地接受任何期刊的录用。)
数学家 Timothy Gowers 指出:这是 AI 首次独立解决了已知的公开数学难题。研究人员认为,AI 之所以成功,是因为它会坚持探索人类通常会放弃的路径——这条突破路线要同时满足四个罕见条件,包括对类域论的高度熟悉。
2💊 ③ Isomorphic Labs 完成 21 亿美元 B 轮:AI 药物设计最大单笔押注
谷歌 DeepMind 旗下 AI 制药公司 Isomorphic Labs 完成 21 亿美元 B 轮融资,由 Thrive Capital 领投,Alphabet、GV、Temasek、MGX、CapitalG 和英国主权 AI 基金跟投。资金将用于扩展其 AI 药物设计引擎 IsoDDE——该引擎与 AlphaFold 3 协同工作,预测分子在人体内的行为。
目前 Isomorphic 尚无药物进入人体试验,计划 2026 年底启动第一项临床试验。这是迄今 AI 医药领域规模最大的单笔融资,背后押注的是:AI 能大幅缩短从分子设计到临床的时间线。
3💻 ④ 经典计算机用笔记本「打败」量子优越性主张
普通笔记本可以解决量子计算机「独占」的问题了吗?来自西蒙斯基金会弗拉基铁研究所(CCQ)和波士顿大学的研究团队给出了肯定答案。
2025 年 3 月,一项《Science》论文宣称量子计算机解决了经典计算机无法完成的量子动力学模拟——研究团队用新开发的张量网络方法重现了同等精度的结果,全程不使用量子计算机。核心工具是「张量网络」,相当于波函数的压缩包,将量子系统的信息压缩为互连的数字表格,让笔记本电脑也能高效处理。
论文发表于《Science》(DOI: 10.1126/science.adx2728)。研究者强调,这不是在打倒量子计算——经典和量子计算在互相挑战中共同进步,经典模拟的突破往往指引量子计算下一步发展方向。
4⚛️ ⑤ Infleqtion 获美国商务部 1 亿美元意向书:中性原子量子计算加速
量子计算公司 Infleqtion(NYSE: INFQ)与美国商务部 CHIPS 研发办公室签署 1 亿美元拟议资助意向书,资金以里程碑进度分批拨付,商务部将以 15% 折扣获得同等价值普通股。
Infleqtion 采用中性原子技术路线,目前拥有 1600 个物理量子比特、纠缠保真度 99.73%,是少数完成逻辑量子比特实际应用演示的公司之一。2026 年路线图目标为 30 个逻辑量子比特。该公司与 NVIDIA 已完成行业首个使用逻辑量子比特的材料科学应用演示。
这笔资金是美国商务部 CHIPS 法案「量子优先投资」的一部分,同日还有 PsiQuantum 获得类似意向书,美国政府正集中下注量子计算多条技术路线。
5
Comments