AI数学能力演进时间线调侃
2023:GPT-4 几乎解决了小学水平的数学 2024:IMO 银牌 2025:IMO 金牌 2026 年 5 月:Erdős 单位距离猜想 2026 年 9 月:纳维-斯托克斯千禧年大奖难题被解决 2026 年 10 月:722 篇 AI 撰写的数学手稿 今天:OpenAI 证明 ETH 为假 明天:P = NP?
首页已经看过的不重复列。下面从更早的内容继续,可以一直往下滚。
2023:GPT-4 几乎解决了小学水平的数学 2024:IMO 银牌 2025:IMO 金牌 2026 年 5 月:Erdős 单位距离猜想 2026 年 9 月:纳维-斯托克斯千禧年大奖难题被解决 2026 年 10 月:722 篇 AI 撰写的数学手稿 今天:OpenAI 证明 ETH 为假 明天:P = NP?
分子之心发布 AI 从头设计平台 MMDesign 最新技术报告,在覆盖 18 个靶点、共 19 个设计项目中取得 94.7% 的项目成功率,六大 GPCR 靶点全获命中,标志着 AI 生物药从头设计正向工业级可复用工作流迈进。
Ropedia 举办首届 Super Week 集中发布六项研究,涵盖跨本体世界模型、物体交互历史重建、第一视角统一重建、空间推理智能体、双手协作策略及代码即策略范式,系统展示如何将人类经验转化为机器人真实能力。
通过将日常工作交给 AI Agent 处理并仅进行审核,我实现了从 AI Native 1.0(工具辅助)到 2.0(组织重构)的转变,显著减少了沟通等待时间并提高了工作效率。
宝玉深度解读 Manus AI 原生组织转型文章,提炼六大核心实践:工程基建向 AI 开放、目标导向交互、异步并发工作流、极致扁平组织、Session 成资产、人角色上移,并补充视频需求与成本视角。
大湾区大学许地生团队借助国产多模态大模型与 Harness 系统,经人机协同攻克困扰数学界 30 年的三维 Ghys 猜想,北大团队用 Lean 完成 55 万行代码形式化验证,首次实现中国大模型破解世界级数学难题。
630 亿美元巨额债务交易敲定:博通CEO亲自救场,为Anthropic算力狂飙保驾护航 · · Oct 27, 2026 人工智能领域的资本与硬件狂潮再次迎来重磅进展。近日,芯片巨头博通与人工智能初创企业Anthropic最终敲定了一笔规模高达630亿美元的债务融资交易,旨在为庞大的人工智能基础设施建设提供充足的资金支持。
本期简报收录 65 篇 AI 领域科研资讯,涵盖大模型推理、多模态学习、视觉导航、3D 视觉与科研工具等主题,重点介绍 Open-o3-Video-v2、MERIT、Memory Mosaics、VLA/WAM/Harness 关系、AirPlayground、CausalDrive、工业质检经验及 AI 商业化趋势。
花叔深度解读 Anthropic S-1 招股书:营收疯涨至单季百亿、900% 净收入留存、66% 算力押注下一代模型、人均成本 140 万美元,揭示其激进的「全押未来」商业逻辑。
Datawhale 正在招聘活动运营、测试、AI 产品技术(Agent 方向)、前端开发和后端开发等多个岗位,要求候选人接受杭州线下实习,并具备相关专业背景和实习经验。
MiniMax 开源自托管的 OpenAI Agents API 项目 OpenAgentCore(github.com/MiniMax-AI/OpenAgentCore),对外提供一套标准 API,对内将 harness、模型、sandbox 和文件系统全部协议化、可随意更换。
蚂蚁灵光 2.0 发布:AI 助理开始"主动管事" · · Oct 27, 2026 蚂蚁集团推出灵光 2.0,把 AI 助理的角色往前推了一步:不再干等指令、做完一单就收工,而是主动嗅出需求、长期替你盯着各种事务。 最大 的变化,是 AI 介入任务的起点被前移。
据 The Verge 报道,准备上市的 Anthropic 在 S-1 注册文件中承认,生成式 AI 数据中心越来越依赖以甲烷为主要成分的天然气,供电和选址面临激烈竞争。文件将气候变化视为经营风险,指燃料涨价、燃气轮机供应不足和监管限制可能制约其数据中心建设,公司此前宣布了 500 亿美元投资计划,用于扩大得克萨斯州和纽约州的数据中心规模。
Mirendil 发布首个从零预训练的模型 Fern,上下文最高 10M token,约 23MB 代码或 50 万行,接近 Megatron-LM 量级,也可一次装下几天 agent 工作的轨迹。
黑客借 AI 揪出 PS5 高危漏洞,索尼爽快发 5 万美元 · · Oct 27, 2026 31.9k IGN 披露了一起颇具象征意味的安全事件:一名 PS5 改装爱好者借助生成式 AI,挖出了主机的一个高危漏洞,并通过索尼的安全上报渠道领走 5 万美元(约 33.4 万元人民币)赏金。
制作一个可用于游戏的 3D 资产需要多久?🤔 来曼谷 #gamescomasia 找我们,现场考验 Meshy。在聊天中描述,就能拿回一个模型,在我们的展台实时演示。 🎁 免费周边 + 独家 Pro 优惠,仅限现场 📍 QSNCC 全会厅,D14 展台 · 10 月 29 日–11 月 1 日
阿里千问团队开源 BabelArena 基准,测试同一条 agent 工作流换语言后,工具调用、环境状态、检索与打分是否会走样,并发布论文 https://arxiv.org/abs/2609.23490。
OpenAI 发布面向视觉推理、计算机使用和写作的 GPT-6.1 Terra,接替 GPT-5.6 Terra,API 定价为每百万 token 输入 $1、输出 $5,是 GPT-6.1 Sol 的一半。
百度发布并开源 Unlimited OCR 2,采用 SR-SWA 机制把文本-视觉注意力交互压缩为固定大小的工作引用,在有限上下文窗口内解析几乎任意长度的文档。随着文档变长,每步解码延迟和内存占用接近恒定,模型在 MPDocBench 和 MarathonDocBench 上取得 SOTA 表现,覆盖几十到数百页文档。
Stanford CS 329Z「Engineering AI Agents」第 10 课由 Terminal-Bench 与 Harbor 的作者讲解 Agent 评测工程,核心观点是软件正从「规则是真相」转向「评测是真相」,Evaluator 成为新工种。
菲尔兹奖得主邓煜呛声 AI 公司:别只许你蒸馏,不许我看思维链 · · Oct 27, 2026 31.9k 菲尔兹奖得主、芝加哥大学教授邓煜,在 10 月 26 日"知识分子""赛先生"论坛的主旨演讲里,系统聊了 AI 时代该怎么搞数学。 他先点出 AI 相对人的两样长处:知识面广到没有边界,试错成本又低得可以忽略。
Clean Code 作者 Robert C. Martin 开源 Skills「ub-mode」(github.com/unclebob/ub-mode),把 Clean Code / TDD 纪律整理为 coding agent 用的三段流程。
Anthropic 递交 IPO 招股书,亚洲芯片股集体飙涨 · · Oct 27, 2026 Claude 背后的公司 Anthropic PBC,在 10 月 27 日向上市又迈出关键一步。据彭博社报道,这家 AI 开发商已正式递交 IPO 招股文件,原本有所降温的 AI 投资热情被重新点燃,亚洲半导体板块在当日早盘集体走强。
在浏览器中探索 AA-3D 场景:任选任务,切换模型进行对比 AA-3D Explorer 让你从七个领域中选择一个任务简介,然后逐个浏览模型,看每个模型如何构建同一场景。像我们的人类评审小组在投票前那样,操控、飞行并点击浏览每个场景。
新榜智汇本月报告显示,豆包对抖音的引用权重从5月的10.79%升至8月的31.8%,每引用3条内容就有1条来自抖音;百度6月首次将B站和好看视频纳入信源库,二者权重之和达12%。
Mac版Ollama正式支持离线AI语音:数据不出门,速度比原方案最高提升35% · · Oct 27, 2026 31.9k 近日,本地运行大模型的开源平台Ollama宣布其Mac应用正式迎来重大更新, 首次 加入文本转语音功能。
本文介绍了三套用于学习和研究 AI Agent 的资源:一个包含 70 多篇论文的合集,涵盖 8 个研究方向;一个包含 5 本书籍的合集,从基础概念到高级设计模式;以及斯坦福大学的 CS329Z 课程,专注于 Agent 的工程实践。这些资源旨在帮助 AI 方向的硕博学生找到研究选题,并学习如何构建和评估 Agent 系统。
蚂蚁集团发布灵光 2.0,推动 AI 助理从被动响应指令向主动发现需求、持续管理事务演进。依托独立云主机实现跨会话记忆与长程任务调度,用户退出对话后任务仍可继续运行;已内置支付宝账单、出行、钉钉、飞书、邮箱、米家等服务,并支持调用 MCP、CLI 等工具。
字节跳动 CloudWeGo 团队开源 Eino,一款面向 Go 语言的生产级 LLM 应用框架,解决 Python 生态垄断下 Go 开发者缺乏规范化 Agent 与大模型开发工具的痛点。