「搜索入口」共找到 550 篇相关文章
孪生素数猜想被GPT-6新突破！北大数学07级又出现了
OpenAI发布数学论文，宣布GPT-6 Astra在孪生素数猜想上有新进展，用Lean形式化证明把连续素数间距的上界从246推到186。此外，其3D生成效果出色，Codex还新增可搜索笔记功能。
为老父亲做的桌面 Agent，不小心在 GitHub 霸榜一周
OpenHuman是TinyHumans AI构建的开源桌面AI Agent，登上GitHub榜单并霸榜一周。它想成桌面级个人AI操作系统入口，但使用体验与愿景有差距，工程架构有亮点，也存在安全风险，其产品哲学有价值但执行粗糙。
BeyondSWE：AI编程80分是真的强，还是考卷太简单？
前沿模型在SWE - bench Verified测试中得分超80%，但该测试像开卷填空。中国人民大学提出BeyondSWE重新设计评测，规模是前者18倍，模型得分全跌破45%。还提出SearchSWE框架，结果显示搜索与编码能力融合待提升。
AI卷到物理世界，小米迎来自己的主场？
该文探讨小米在物理AI领域的发展。物理AI与生成式AI有别，更重感知与执行。小米有手机、汽车、家庭入口，补齐多样能力，成全球首个在「人车家全生态」落地物理AI的公司，优势显著。
Gemini 3.5深夜登场，谷歌CEO劈柴亲自算账：速度快4倍、一年还省超10亿美元，曝内部已被颠覆
北京时间5月20日凌晨，谷歌I/O开发者大会开幕。谷歌CEO展示惊人数据，发布Gemini 3.5、Gemini Omni等新品。Gemini 3.5速度快、成本低，改变谷歌内部工作方式；Omni可生成视频；还为Gemini应用和搜索框带来升级。
别再错过啦，AI Agent记忆革命：95.2%检索率的持久记忆系统深度解析
agentmemory是为AI编码Agent打造的持久记忆系统，能自动捕获操作上下文，有三层搜索与四层记忆架构。支持12+种主流AI Agent，有全平台覆盖、零外部依赖等优势，虽有局限但值得开发者一试。
Claude Opus 4.7炸场，6美元造《我的世界》，临门AGI前强调安全，打工人却更慌了
Anthropic 发布‘目前最强 Opus 模型’Claude Opus 4.7，能力跃升，在多榜单夺冠。写代码、看图表等能力提升，也有网页搜索等能力下降。还展现出游戏开发实力，同步上线Claude Code新功能，加强安全防护。
只要科学任务能打分，AI就能实现SOTA结果 | 谷歌最新论文
谷歌最新论文提出，只要科学任务可评分，用大模型+树搜索，让AI大海捞针，就能找到超越人类专家的方法实现SOTA结果。他们开发的AI系统在多领域发明新方法，都达SOTA水平。
小扎新AI，凉得彻底？
9月25日，Meta推出嵌入Meta AI应用的AI视频流Vibes，可浏览、二创和分享AI视频，改写短视频玩法。它降低创作门槛，融入Meta生态，野心勃勃，但也带来版权等争议，还将与硬件结合，AI视频或成新全民入口。
维基百科，终结了！马斯克开源版上线，用AI重写「真相」
马斯克发布开源版「维基百科」Grokipedia V0.1，称其足以秒杀维基百科。它收录超88万篇文章，通过Grok核查事实，支持交互、申报错误。但上线后遭质疑抄袭，也有好评，维基百科受AI搜索冲击，需翻身。