工程与计算 · OECD FoS 1.2 · 教育部 0812 计算机科学与技术
计算机科学（算法与理论）
Computer science (algorithms & theory)
L3系统改造 ↑ 上升 综合分 2.90 · 上次复审 2026-10-22 · 下次复审 2026-12-20
最大突破 2025-05-14 AI 飞跃学科影响 · 重要
AlphaEvolve 发布：通用算法发现编码智能体 ↗
通用进化式编码智能体，在算法和数学问题上多处超过已知最佳
分级理由
AI 已发现被实际采用的新算法（AlphaDev 排序已并入 LLVM libc++，AlphaTensor 矩阵乘法）、改进近似难度界（AlphaEvolve 2026）；The AI Scientist 论文登上 Nature（2026-03），AI 研究自动化本身成为热点。
S = 0.30·method + 0.35·discovery + 0.25·adoption + 0.10·education（教育缺证据时记 0 分；若为空则按其余权重归一）
依据来源
- nature.com/articles/s41586-023-06004-9
- research.google/blog/ai-as-a-research-partner-advancing-theoretical-computer-science-with-alphaevolve
- nature.com/articles/s41586-026-10265-5
综合分 2.5–3.49（或 ≥3.5 但方法/发现/采用有一项低于 3）：AI 成为标准基础设施或业务流程，多项独立突破。 全部分级标准 →
研究方向
算法发现复杂性理论证明AI 研究自动化编译与系统优化
论文
- Towards end-to-end automation of AI research The AI Scientist 端到端自动化 AI 研究论文发表于 Nature
端到端自动化研究系统登上 Nature，但产出论文质量有限
2026-03-25 · Nature
- Reinforced Generation of Combinatorial Structures: Hardness of Approximation AlphaEvolve 发现新 gadget，MAX-4-CUT 近似难度界 0.9883→0.987、度量 TSP 117/116→111/110（arXiv 2509.18057）
成熟领域的复杂性下界被 AI 找到的结构改进，且结果可完全验证
2025-09-22 · arXiv
- Faster sorting algorithms discovered using deep reinforcement learning AlphaDev 发现更快排序算法，已并入 LLVM（Nature）
AI 发现的排序例程并入 LLVM libc++，每天被调用数万亿次
2023-06-07 · Nature
-
AI 飞跃
Discovering faster matrix multiplication algorithms with reinforcement learning AlphaTensor 发现更快的矩阵乘法算法（Nature）50 年来首次在 4×4 矩阵（模 2）上改进 Strassen 算法的乘法次数
2022-10-05 · Nature
- 六维 Tarski 问题需要 Ω(log³n) 次查询 The Six-Dimensional Tarski Problem is $Ω(\log^3 n)$-Hard
改进单调函数不动点的确定性查询复杂度下界，在六维得到最优的 Θ((log n)³)；文中指出近期已有多篇论文借助 AI 辅助证明改进了下界。
2026-10-15 · arXiv · Kristóf Zólomy
- 线性时间、最优延迟的在线分词 Online Tokenization with Optimal Delay in Linear Time
为大模型常用的 BPE 分词流程设计在线算法，在线性时间内以最优延迟输出，降低延迟和内存占用。
2026-10-13 · arXiv · Mina Dalirrooyfard, Christopher Ye
- 快速量化 Johnson-Lindenstrauss 变换 Fast Quantized Johnson$-$Lindenstrauss Transforms
用结构化随机变换替代稠密高斯投影，加速用于压缩大模型 KV 缓存的 1 比特量化 JL 变换。
2026-10-12 · arXiv · Angelos Korakitis, Vasileios Nakos
- Hashrope：面向大模型上下文管理的持久化数据结构 Hashrope: A Persistent Data Structure for Mechanisms of LLM Context Management
证明大模型服务中增量编辑、分支快照、前缀复用和重复片段编码四类机制可统一为一种带哈希的持久化平衡绳结构。
2026-10-12 · arXiv · Muntaser Syed, Ameerah Alsulami, Marius Silaghi
- 分离式大模型推理中双内存请求调度的近似算法 Approximation Algorithms for Dual-Memory Request Scheduling in Disaggregated LLM Inference
首次形式化预填充与解码分离部署中的耦合调度问题，并给出近似保证。
2026-10-11 · arXiv · Xin Wang, Hong Shen, Hui Tian, Ye Tao
- Cascade：面向大模型语料的 GPU 加速外存后缀数组构建 Cascade: GPU-Accelerated Out-of-Core Suffix Array Construction for LLM Corpora
后缀数组用于大模型训练语料去重、污染检测与数据溯源；Cascade 在显存放不下时仍用 GPU 加速构建，大幅缩短建索引时间。
2026-10-11 · arXiv · Jamshed Khan, Prashant Pandey
- 近约 30 天来自 arXiv、bioRxiv、medRxiv、OpenAlex；要点由本站根据摘要撰写。
- PAR: Progress-Aligned Recurrence for Length Generalization in State Tracking 2026-10-20
- Focused Omni-Modal GUI Agents 2026-10-19
- EgoXperience: Learning World-Grounded Egocentric Representations from Human Experience 2026-10-19
- Holi-World: Building Holistic World Intelligence from Human-Ego Experience 2026-10-19
- MemT-1.0: Towards Memory-Native Evolution 2026-10-19
- OpenVLHarness: Real World Visual Agentic Tool-Use with Multimodal Memory 2026-10-19
- 在论文归档中查看全部 →
里程碑 8· 2 个飞跃
大号发光节点是飞跃性突破： AI 飞跃 冷色 · 学科飞跃 暖色 · 双环 = 两者都是
-
科学发现
KLS 猜想获证（AI 智能体参与探索）：高维对数凹分布采样与随机游走混合时间的维度无关保证AI：微软称人类主导的 AI 智能体参与了证明搜索（厂商自述）；学科：KLS 决定高维随机游走的混合速度，是凸体体积计算和对数凹采样算法复杂度分析的核心障碍，现由独立证明（arXiv 2610.05474）支持，但尚未经同行评审
Microsoft Research预印本厂商自述 -
论文
AlphaEvolve 发现新 gadget，MAX-4-CUT 近似难度界 0.9883→0.987、度量 TSP 117/116→111/110（arXiv 2509.18057）成熟领域的复杂性下界被 AI 找到的结构改进，且结果可完全验证
arXiv预印本
这个筛选下没有里程碑。
更多论文与仓库 6
| 类型 | 标题 | 日期 |
|---|---|---|
| 论文 | Towards end-to-end automation of AI research | 2026-03-25 |
| 论文 | Reinforced Generation of Combinatorial Structures: Hardness of Approximation 预印本 | 2025-09-22 |
| 论文 | Faster sorting algorithms discovered using deep reinforcement learning | 2023-06-07 |
| 论文 | Discovering faster matrix multiplication algorithms with reinforcement learning | 2022-10-05 |
| 仓库 | SakanaAI/AI-Scientist-v2 待核实 | — |
| 仓库 | google-deepmind/alphaevolve_results 待核实 | — |
最新新闻 5
- TRACE: Governing AI-Assisted Research with Principles from Computer Science
arXiv q-fin于2026-10-20发布的论文，涉及AI 金融、AI 安全，原题《TRACE: Governing AI-Assisted Research with Principles from Computer Science》，详见原文链接。
arXiv q-finen论文预印本 - Discuss More, Comment Less: Boosting Automated Research via Multi-Perspective Collaborative Review
arXiv cs.CL于2026-10-20发布的论文，涉及AI 综合、AI 科研与调研、AI 软件开发，原题《Discuss More, Comment Less: Boosting Automated Research via Multi-Perspective Collaborativ》，详见原文链接。
arXiv cs.CLen论文预印本 - As AI Closed In on ‘Unique Games’ Proof, Researchers Raced to Beat the Machines
Quanta 报道：在传闻 AI 将证明唯一博弈猜想相关结果的压力下，三位计算机科学家抢先发表了自己的里程碑成果。
Quanta Magazineen - Open No More
Lance Fortnow 谈 OpenAI 发布的 722 份手稿涉及多个理论计算机开放问题，原有“开放问题”格局被打破。
Computational Complexityen - Postdoc position on formal verification and algorithm discovery for numerical analysis
EPFL 招聘博士后，方向为数值分析中的形式化验证与算法发现。
Terence Tao blogen