「AI搜索平台」共找到 10337 篇相关文章
一个问题几百美元，DeepMind智能体一次搞定了9个Erdős问题
DeepMind团队的大模型在一次‘测试’中解决9个开放的Erdős问题，还自动验证，解法通过人工审查。其框架AlphaProof Nexus结合大模型与Lean编译器，研究展示了AI辅助正式证明搜索技术潜力。
刚刚，谷歌逃过一劫，不必出售Chrome
美国法官Amit Mehta裁定谷歌不必出售Chrome浏览器和剥离Android操作系统，但须与对手共享搜索数据、禁止签独家分销合同。判决让谷歌和投资者松口气，AI崛起影响判决走向，谷歌还面临广告技术垄断诉讼。
两张图定位全球，o3碾压T0级高手！人类「诡计」被看穿，跨模态推理爆表
OpenAI的o3在GeoGuessr游戏中与大师级玩家Sam Patterson对决，o3通过视觉与搜索推理，忽略伪造EXIF信息，最终以23179比22054获胜，展现出跨模态推理潜力，引发对AI推理能力的思考。
国产先进封装的协同进程，究竟走到了哪一步？
AI算力浪潮下，产业焦点从‘制程竞速’转向‘系统协同’，Chiplet与2.5D/3D先进封装成关键路径。湾芯展上，硅芯科技牵头的‘Chiplet与先进封装生态专区’让国产先进封装协同具象化，展现产业链闭环能力。
怎么从 ChatGPT 拿流量？送上这九条实用建议
文章指出AI问答引擎成B2B采购决策重要‘守门人’，介绍问答引擎优化（AEO）概念，还通过采访提炼九条从ChatGPT等拿流量的实用建议，如明确提问场景、了解平台差异等。
Turso：用 Rust 重写 SQLite，让数据库跑在每一个边缘节点
Turso用Rust重写SQLite内核，解决其单写者限制和缺乏网络同步能力的短板。它有嵌入式副本、边缘同步和向量搜索等特性，适用于AI Agent、多租户SaaS等场景，与竞品相比优势独特。
又一安全圈爆火的开源项目，已经1.66万Star！
现在大家爱用代码AI客户端干活，但碰到安全和逆向任务时，AI易懵圈，因工具散落、经验没沉淀。开源项目`reverse-skill`可给AI装“安全研究导航仪”，支持多种AI编码客户端，有诸多功能特性。
智能交互终于步入真·人机交互时代了，这很讯飞
科大讯飞发布会上展示智能硬件新范式，AIUI升级实现拟人自然对话，机器人超脑平台赋能机器人，还有数字人等成果。其交互技术不断突破，展示全链技术方案，推动产业升级。
数据限制具身？觅蜂杀进场破局：高质量数据水电一样即取即用
2026年4月16日，觅蜂科技发布一站式物理AI数据服务平台等，董事长姚卯青称当前具身智能面临数据荒漠问题。觅蜂打造“又全又好又快”数据供给，还启动蜂巢数据共创行动，与多家企业合作。
字节Seedance 2.0发论文了，171人署名，吴永辉曾妍在列
现象级AI视频技术字节Seedance 2.0在arXiv发论文，公布26页Benchmark和170位贡献者名单。此时它正通过Byteplus平台铺向全球，支持多模态输入。该模型突破瓶颈，评测表现优异，团队近半换血。