AI又攻克了一个40年数学猜想
AI又攻克了一个40年数学猜想Shengtao Guo、Ethan X. Fang和Junwei Lu署名的预印本论文宣称利用Odin Automatic AI Research Agent证明了悬而未决40年的Komlós猜想并给出常数界3√(2π),次日陶哲轩等25位菲尔兹奖得主发表联合声明《AI在数学中的严重失准》,警告AI证明速度已远超学界验证与消化的能力。
搜索
Shengtao Guo、Ethan X. Fang和Junwei Lu署名的预印本论文宣称利用Odin Automatic AI Research Agent证明了悬而未决40年的Komlós猜想并给出常数界3√(2π),次日陶哲轩等25位菲尔兹奖得主发表联合声明《AI在数学中的严重失准》,警告AI证明速度已远超学界验证与消化的能力。
前字节跳动Seed AI4S团队核心成员顾全全成立AI4S公司Geodesic Intelligence,一次性推出科学推理智能体NovaDDE与结构预测模型NovaAtom-Lite-Preview,目标是构建从生物学到药物最短路径的AGI。
成立仅4个月的中国公司深旋科技(Atomelody)发布全原子生物基础大模型Melo-1 Preview,在蛋白-多肽、蛋白-小分子等公开基准测试中核心指标刷新纪录并超越AlphaFold 3,登顶全球第一梯队。
2026年以来,红杉全球在AI领域已累计出手33次。仅8月第一周,就连投三笔:承诺100亿美元押注AI与再工业化、领投AI芯片公司Etched 3亿美元C轮、领投核能公司Valar Atomics 10亿美元B轮。
该项目名为 Anatomy Atelier,是一款面向人体解剖学习的交互式 3D 网页应用。它把器官模型、知识卡片和交互操作放在同一个界面,我们通过旋转、缩放和点击,更直观地理解人体结构。
曾经最相信强化学习的人之一,如今却认为:强化学习没有把我们带到 AGI。
今年以来,AI 最明显的「风口」,莫过于硬件了。从大厂到初创,点子层出不穷。
近日,来自清华大学等单位的研究团队提出了AutoMIA,一种自动生成镜像错觉艺术的 AI 设计方法,用户仅需任意指定两张图片,分别对应镜子前和镜子中的图案,AutoMIA就可以自动完成3维艺术品的设计,并且支持直接3D打印出来制作艺术品。
2026年5月28日,Nature通讯发表了题为 《Multimodal deep learning model for AI-based functional prognostic risk stratification in patients undergoing radical nephrectomy》 的论文。
独家获悉,近日,APTSell宣布完成由DCMVentures独家投资的数百万美元种子轮融资。这家公司提出了一个全新概念——AI CSO(AIChiefSalesOfficer),要让销售管理第一次从"人治"走向"AI治理"。在不久前,APTSell还曾获得来自Atom Capital的近千万的天使轮投资。