「正式证明搜索」共找到 1050 篇相关文章
45年数论猜想被GPT-5.2 Pro独立完成证明，陶哲轩：没犯任何错误
2025年1月17日，研究者Neel Somani让GPT-5.2 Pro解1980年提出的埃尔德什猜想第281号问题，证明经陶哲轩验证成立。此外，网友发现有更简单经典解法。陶哲轩提醒评估AI真实成功率有报告偏差。
0成本升级，快手OneSearch-V2全量上线，生成式搜索进入「懂你」时代
快手技术团队在 OneSearch 基础上推出 OneSearch-V2 框架，解决电商搜索复杂查询理解不足等问题。该系统全量上线，不增成本与时延，业务收益显著，还缓解信息茧房与长尾稀疏问题。
AI搜索优化（GEO）：从“被看见”到“被选中”的7个真相！【必看】
白杨SEO分享AI搜索优化（GEO）从“被看见”到“被选中”的7个真相，含为何做GEO、竞争内容、让AI理解和信任品牌的方法、成默认推荐答案的条件、效果评估及长期坚持的原因等。
清华AI数学家系统攻克均匀化理论难题！人机协同完成17页严谨证明
清华大学科研团队用自主研发的AI数学家系统（AIM），以人机交互模式解决均匀化理论研究问题，形成约17页证明。研究系统性总结五大高效人机交互模式，在三方面取得突破，还提出未来研究方向。
AI搜索引擎领域大哥Perplexity AI 三层重排序系统与核心排名因素揭秘，必看！
国外研究人员分析揭示Perplexity AI部分排名规则和因素。其有三层重排序系统，人工配置权威域名，热门话题与YouTube相关。还总结8个核心排名因素，并给出SEO优化策略，体现搜索重质量趋势。
谷歌AI新里程碑：一个能「做研究」的系统诞生了，用LLM+树搜索编写专家级软件
谷歌提出能帮科研人员编写「专家级」科研软件的AI系统，融合大语言模型和树搜索，可整合重组知识构建新思路。在多领域超人类表现，但局限于可量化任务。
DeepSeek V3.1 把 R1 融了，一堆新活：<think>开关、动态搜索、新ToolCall ...
DeepSeek在Hugging Face悄悄发布V3.1版本，将对话和推理模型合并为混合推理模型。它有显式推理、内置搜索、简化工具调用等特性，Aider测试成绩佳且成本低，但也存在战术回避、幻觉率升高等问题。
ChatGPT还没学会打电话，谷歌搜索AI已经替你电话约服务，还会谈价砍单！
谷歌搜索迎来三大AI革新，集成Gemini 2.5 Pro模型、可用Deep Search功能，最亮眼的是AI代打电话功能。目前该功能在美国上线，未来将全球推广，引发网友对其效果和实用性的讨论。
RAG系统设计：揭秘语义搜索被低估的核心价值与KG驱动的架构选型策略
在AICon大会上，Hugging Face的尹一峰探讨基于语义搜索的RAG系统重要性，揭示其被低估原因，分析本质与作用，分享设计高效架构方法，还讨论KG驱动的RAG系统及范式选择。
4·18 北京 Elastic AI Tech Day｜搜索基座模型议程（含 Jina 模型与 Reader）
Jina AI 模型迭代加速，Jina Embeddings 到五代目，Reranker v3获最佳论文。4月18日 Elastic AI Tech Day 将举办，Jina 团队将做系统公开技术分享，涵盖搜索AI等多方面内容。