从一个关键词开始
搜名称，也可以搜场景，比如“AI 写作”“视频剪辑”或“编程助手”。
AI热点 4
Axiom Math发布1600万行Lean数学库AI热点Axiom Math用智能体群将Stacks Project形式化为1600万行Lean代码，经逐条验证后开源。
奥特曼预告下一代GPT即将发布AI热点奥特曼在ADIPEC 2026开幕式上确认，攻克千禧难题的内部模型即即将发布的下一代GPT。
AI形式化有限单群分类定理AI热点初创团队Axiom用多智能体系统在24天内形式化了15000页的有限单群分类定理，产出4310万行Lean代码，并发现人类证明漏洞、证明新定理修补。
Anthropic发布可验证推理系统FlashProveAI热点Anthropic发布基于zkSNARK的可验证推理系统FlashProve，开源代码与Lean证明。