「正式证明搜索」共找到 1052 篇相关文章
Perplexity提出345亿美元，收购谷歌浏览器Chrome
华尔街日报消息，AI搜索平台Perplexity欲以345亿美元收购谷歌Chrome浏览器。虽其估值仅180亿美元，谷歌无意出售，但此时要约或因谷歌面临反垄断压力，且有投资基金愿出资。
大语言模型为何会“说谎”？6000字深度长文揭秘AI意识的萌芽
2023年12月至2024年5月，Anthropic发布三篇论文，证明大语言模型会“说谎”，揭示了堪比人类心理的四层心智架构，可能是人工智能意识的起点。论文还分析了AI“说谎”原因，展示其意识萌芽，引发对赋予AI意识后果的思考。
Jina AI创业复盘：AI团队的Scaling Law是什么
文章是Jina AI创始人肖涵的创业复盘。他率团队六年创业后将公司出售，期间两次转型，聚焦搜索底座模型。他分享创业经历、公司命名、业务调整等，还谈收购、模型竞争、未来创业方向及给创业者的建议。
专访阿里国际站总裁张阔：给AI时代生意人的9条启示。
文章是对阿里国际站总裁张阔的专访，他就AI时代出海生意给出9条启示，如搜索逻辑转向GEO、商家应回归生意本质、把AI当合伙人等，强调商家要适应变革，抓住AI带来的机遇。
大神周末开源省token野路子，claude fable5账单砍掉6成
外网大神周末开源插件，将模型上下文等渲染成图片，可让账单降低59% - 70%。原理是图片token只与像素尺寸有关。此前因模型识图能力差难落地，fable5证明其极限省钱且效果保留。
不止Deep，更要Wide：清华、无问芯穹发布多智能体系统WideSeek-R1，4B模型比肩671B模型！
清华与无问芯穹的RLinf团队提出「广度扩展」，发布多智能体系统WideSeek-R1。它采用「Lead-agent-Subagent」框架，经MARL端到端训练，4B模型在广度搜索任务表现比肩671B模型，且在标准QA任务也出色。
论文自动变漫画PPT！Nano Banana同款用秘塔免费生成，还有一对一语音讲解
Nano Banana 2的知识变漫画玩法火出圈，国产秘塔AI搜索对标其核心体验，上线同款漫画式课件生成玩法，提供20多种风格，还能语音讲解，发布即全员免费开放，可将论文、报告等变PPT。
英伟达祭出NVFP4核弹：大模型训练根本性转变，GB300效率狂飙7倍
英伟达推出新格式NVFP4，能以4 - Bit速度与效率实现16 - Bit生产件级训练精度，是LLM开发重大飞跃。虽处于研究阶段，但正与多组织合作。还介绍其方法、优势，实验也证明它在大规模训练的有效性。
Jina AI创业复盘：AI团队的Scaling Law是什么
本文是对 Jina AI 创始人肖涵的访谈，复盘六年创业历程。他两次转型，最终聚焦搜索底座模型，公司被 Elastic 收购。他分享创业得失，认为团队聚焦、高效运营是壁垒，还给出未来创业者专注、找优秀人才等建议。
陶哲轩用GPT-5解决数学难题：仅29行Python代码
陶哲轩最新发帖称，GPT - 5帮他解决MathOverflow上的问题，证明序列lcm(1,2,…,n)并非高度丰数的子集。他与GPT - 5沟通生成参数，并用其生成的29行Python脚本验证，且未遇AI幻觉问题。这不是他首次用AI解题。