EVT-036
OpenAI 内部模型 Astra 推进十项数学与理论计算机科学难题
OpenAI 公布 Astra 对十个长期开放问题的解决或实质进展，覆盖群论、密码学、量子复杂性等领域，并为每项论证生成 Lean 形式化证书。
AGI-MILESTONES // OBSERVER.SYS2012—2026 · RECORD ACTIVE
我们正在目睹历史加速。
记录通往 AGI 与 ASI 道路上，那些真正改变了方向的时刻。
- 0
- 个历史事件
- 0
- 个年份
- 0
- 位人物与机构
01 / CHRONICLE
一条仍在书写的时间线
最新在前EVT-035
DeepSeek-V4-Flash 正式版发布并开放模型权重
DeepSeek 以正式版取代 V4-Flash 预览版，在保持模型架构与规模不变的情况下重新完成后训练，增强智能体能力，并启动 API 公测、开放 MIT 许可权重。
EVT-034
月之暗面发布开放权重前沿模型 Kimi K3
Kimi K3 以 2.8 万亿参数、原生视觉和一百万上下文推进开放权重模型规模，并面向长周期编程、知识工作与推理任务发布。
EVT-033
OpenAI 正式发布 GPT-5.6 系列
OpenAI 推出旗舰模型 Sol、均衡模型 Terra 与高效率模型 Luna，并为 Sol 引入协调多个智能体并行完成复杂工作的 ultra 能力档位。
EVT-032
美国出口管制迫使 Fable 5 与 Mythos 5 暂停部署
美国政府对两款模型实施即时出口管制，Anthropic 因无法实时核验用户国籍而全面暂停访问；禁令于 6 月 30 日解除后，Fable 5 恢复全球部署，Mythos 5 开始逐步恢复。
EVT-031
OpenAI 模型自主推翻一项延续约八十年的离散几何猜想
一个 OpenAI 内部模型为 Erdős 平面单位距离问题构造出多项式级改进，推翻长期主流猜想；证明随后通过外部数学家审查。
EVT-030
Gemini Deep Think 开始解决专业研究级科学问题
Google DeepMind 公布 Deep Think 与数学研究智能体 Aletheia 在专家指导下处理数学、物理和计算机科学研究问题的进展。
EVT-029
Google 发布 Gemini 3
Google 发布新一代原生多模态模型 Gemini 3，并将其同步带入 Gemini 应用、AI Studio、Vertex AI 与搜索产品。
EVT-028
Gemini 在 ICPC 世界总决赛达到金牌水平
Gemini 2.5 Deep Think 按正式比赛规则在五小时内解出十二题中的十题；若计入人类队伍排名，成绩相当于总榜第二。
EVT-027
OpenAI 发布 GPT-5，并将推理能力带入默认模型
GPT-5 将多模态、o 系列推理、智能体和高级数学能力整合进统一系统，并开始向 ChatGPT 用户开放。
EVT-026
AlphaEvolve 开始用 AI 发现和优化算法
Google DeepMind 发布由 Gemini 驱动的进化式编程智能体 AlphaEvolve，用自动评估器迭代候选程序，面向数学与计算问题发现新算法。
EVT-025
Google DeepMind 发布 Gemini Robotics
Gemini Robotics 将物理动作加入视觉—语言模型的输出模态，使同一模型能够理解自然语言、适应环境变化，并控制多种机器人完成灵巧操作。
EVT-024
Claude 3.7 Sonnet 与 Claude Code 同日发布
Anthropic 发布可在快速回答与延长思考之间切换的 Claude 3.7 Sonnet，并推出可在终端读取、修改和测试代码的 Claude Code 研究预览版。
EVT-023
DeepSeek-R1 发布并开放模型权重
DeepSeek 发布第一代推理模型 R1，同时开放 R1-Zero、R1 与六个蒸馏模型的权重和技术报告。
EVT-022
DeepSeek-V3 正式发布并开源
DeepSeek 发布拥有 6710 亿总参数、每次激活 370 亿参数的混合专家模型 V3，同步开放模型与技术报告。
EVT-021
Anthropic 开源模型上下文协议 MCP
MCP 以开放标准统一 AI 应用连接外部数据与工具的方式，减少每个数据源都需定制集成的问题，并逐步成为智能体生态的通用基础设施。
EVT-020
Claude 首次向前沿模型开放通用计算机操作能力
Anthropic 以公开测试版推出 computer use，使 Claude 能通过查看屏幕、移动光标、点击和输入操作为人设计的软件，开启通用界面智能体路线。
EVT-019
OpenAI o1 把“先思考再回答”带入前沿模型
OpenAI 发布 o1-preview：模型通过强化学习形成更长的内部推理过程，并在数学、编程与科学问题上显著提升表现。
EVT-018
GPT-4o 实现端到端的实时多模态交互
OpenAI 发布 GPT-4o，以同一个神经网络处理文本、视觉和音频输入输出，语音响应延迟开始接近人类对话速度。
EVT-017
Google 发布原生多模态模型 Gemini 1.0
Google 发布 Gemini 1.0，提供 Ultra、Pro 与 Nano 三种规模，从训练开始共同处理文本、代码、图像、音频与视频。
EVT-016
Meta 开放 Llama 2 模型权重与商用许可
Meta 与 Microsoft 发布 Llama 2，向研究者和商业开发者提供模型权重，推动开放权重语言模型进入大规模应用。
EVT-015
GPT-4 发布，语言模型进入多模态阶段
OpenAI 发布可接受图像与文本输入的 GPT-4，并在多项专业和学术考试中展示接近人类高水平考生的表现。
EVT-014
ChatGPT 向公众开放
OpenAI 以研究预览形式发布 ChatGPT，让普通用户可以通过连续对话直接使用经过指令微调的语言模型。
EVT-013
Stable Diffusion 面向公众开放模型权重
Stability AI 与合作者公开 Stable Diffusion 的模型权重，让消费级硬件运行高质量文生图模型成为可能。
EVT-012
InstructGPT 将人类反馈强化学习带入默认语言模型
OpenAI 使用人类示范、偏好比较与强化学习训练 InstructGPT，并将其部署为 API 默认模型，确立了通用助手遵循人类意图的关键训练路线。
EVT-011
DALL·E 展示从自然语言生成图像
OpenAI 发布拥有 120 亿参数的 DALL·E，可根据文字描述生成图像、组合陌生概念并控制对象属性。
EVT-010
AlphaFold2 在 CASP14 达到接近原子级精度
Google DeepMind 公布 AlphaFold2 的 CASP14 结果，其蛋白质结构预测达到可与实验方法相比的精度。
EVT-009
GPT-3 展示大规模语言模型的少样本学习
OpenAI 发布 1750 亿参数的 GPT-3；模型无需梯度更新，仅凭提示中的说明和少量示例即可完成多种语言任务。
EVT-008
GPT-2 展示连贯的长文本生成能力
OpenAI 发布 15 亿参数的 GPT-2，并首次因潜在滥用风险采用分阶段开放模型权重的发布方式。
EVT-007
Google 发布双向预训练语言模型 BERT
Google 研究者提出 BERT，通过双向上下文预训练，在问答、自然语言推理等十一项任务上刷新结果。
EVT-006
《Attention Is All You Need》提出 Transformer
Google 研究者提出完全基于注意力机制的 Transformer 架构，去除循环与卷积结构，并显著提高训练并行度。
EVT-005
AlphaGo 以 4:1 击败李世石
Google DeepMind 的 AlphaGo 在首尔完成五番棋，以四胜一负击败十八次世界冠军李世石。
EVT-004
ResNet 让百层以上神经网络稳定训练
何恺明等人提出残差学习框架，成功训练 152 层网络，并在 ImageNet 与 COCO 多项任务中取得第一。
EVT-003
深度 Q 网络从像素输入学会多款 Atari 游戏
Google DeepMind 将深度学习与强化学习结合，让同一智能体仅从屏幕像素和得分学习 49 款 Atari 游戏，并在多款游戏达到或超过专业玩家水平。
EVT-002
生成对抗网络 GAN 被提出
Ian Goodfellow 等人提出让生成器与判别器相互对抗训练的生成模型框架，开启一条新的图像生成技术路线。
EVT-001
AlexNet 在 ImageNet 竞赛中大幅领先
Alex Krizhevsky、Ilya Sutskever 与 Geoffrey Hinton 使用深度卷积网络赢得 ILSVRC 2012，将图像分类错误率显著拉低。
没有找到对应的历史事件
02 / PROTOCOL
协议
READ ONLY如果未来有人写一本 AI 历史，
这件事会不会出现在里面？
P.01
这是本站唯一的问题。
P.02
我们只记录已经发生的事件，用尽可能短的文字和一手来源留下坐标。
P.03
支持不会改写时间顺序，但会形成另一条由所有人共同选择的年度榜单。