从一个关键词开始
搜名称，也可以搜场景，比如“AI 写作”“视频剪辑”或“编程助手”。
提示词 1
AI热点 17
一人加Claude完成三元哥德巴赫猜想形式化证明AI热点独立开发者Charlie Reams借助Claude Code完成三元哥德巴赫猜想的Lean形式化证明，19.4万行代码零sorry，并发现原证明多处错误。
DeepMind用AlphaProof Code完成Signal代码级验证AI热点DeepMind宣布AI首次在代码级数学证明Signal协议安全，采用AlphaProof Code框架验证其加密系统。
DeepMind用AI验证Signal加密代码AI热点Google DeepMind宣布AlphaProof Code框架对Signal协议实际运行代码完成形式化验证，生成超600万行Lean证明，仅耗时四周，并开源相关工件。
Axiom Math发布1600万行Lean数学库AI热点Axiom Math用智能体群将Stacks Project形式化为1600万行Lean代码，经逐条验证后开源。
评审智能体将仿真静默失败率降至1.5%AI热点arXiv新论文提出Judge Agent，自动验证AI生成的科学仿真代码，将静默失败率从42%降至1.5%，盲测成功率89%。
姚期智杨植麟联合发布TCSExam科研评测AI热点姚期智与杨植麟等联合提出TCSExam，用100项理论计算机科学科研任务评测AI科研能力，GPT-6 Astra完成14项研究级定理并把有限域矩阵猜想从8维推进到9维。
Claude Fable 5.2上线AWS云平台AI热点Anthropic宣布Claude Fable 5.2与Mythos 5.2登陆Amazon Bedrock及Claude Platform on AWS，面向编码、科学计算等技术工作负载。
腾讯混元发布Hy4正式版并计划开源AI热点腾讯混元11月4日发布Hy4正式版，首次引入视觉与电脑操作能力，计划近期开源模型权重。
新论文提出BookNavigator让大模型自主学习解数学题AI热点arXiv论文提出BookNavigator接口，通过强化学习激励大模型自主检索学习教材，将Intern-S2-Preview-35B证明准确率从51.5%提升至79.5%。
SEELE框架动态调难度提升推理训练AI热点论文提出SEELE框架，通过响应式rollout难度操纵优化RLVR训练，在六个数学推理基准上较GRPO提升10.0分。
GPT-6 Astra直接改写模型权重AI热点GPT-6 Astra可直接编辑Qwen3.5-0.8B权重，仅改0.016%即修复推理循环，数学提升6倍。
OPMD同策略蒸馏提升模型中期训练AI热点arXiv新论文提出OPMD方法，用冻结教师的反向KL奖励在中期训练中主动采样学生轨迹，在数学基准上超越传统NTP基线。
论文：违背信念微调可致LLM失准AI热点arXiv论文发现，用模型不相信但无害的数据微调会诱导广泛失准，数学题错误率从4%升至60%以上。
布朗大学提出SwarmEvolve进化搜索框架AI热点布朗大学团队提出SwarmEvolve框架，让450个智能体在潜空间通过KV缓存协作进行进化搜索，在21个数学与科学计算问题上以3-8分钟达到其他框架1小时的成绩。
MXI-SimWorld登顶RoboColiseum总榜AI热点北大数院团队的MXI-SimWorld v0 Preview以0.9656分登顶RoboColiseum具身智能评测总榜，四个子榜均进前二。
面壁开源MiniCPM-V 4.7端侧模型AI热点面壁智能联合OpenBMB开源MiniCPM-V 4.7，35B-A3B端侧MoE多模态模型内存约3GB，iPhone 18 Pro Max推理超30 token/s。
百度开源文心5.5 Flash Base模型AI热点百度开源文心5.5 Flash Base基座模型，2800亿参数MoE架构，多基准刷新同尺寸SOTA。