「好猜想」共找到 776 篇相关文章
数学大佬在前面拓荒，AI研究员在后面捡宝，菲尔兹奖还能拿来破AI「黑盒」？
菲尔兹奖级纯数学成果落地大模型训练。佛罗里达大学团队用三维挂谷猜想解决大模型“黑盒问题”，GeoLAN加几何约束，效果显著。菲尔兹奖得主Jacob将入职OpenAI，AI在数学领域成果频出。
狂涨91.4K star!！号称是下一代Vim编辑器，体验超棒！
本文介绍开源项目Neovim，它是Vim分支，扩展性强、好用，内置终端模拟器，支持图形界面，与Vim插件兼容性好，还介绍其性能特色、安装配置方法及常用命令。
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
DeepMind开源形式化数学猜想库，收录经典数学猜想，还提供代码函数方便形式化表述。此库可作测试基准提升AI数学推理能力，是AI+ATP范式关键前置步骤，团队邀更多人参与丰富内容。
为什么我不再折腾RAG了
作者曾靠RAG内容获流量，但如今不再关注。一是技术有局限，传统RAG切断知识联系，GraphRAG虽好却未普及；二是RAG能用易、好用难，搭建调试麻烦。作者改用大型工具，还做知识提炼。
AI不会自动带来好结果
马斯克称未来劳动力成本趋近零，人人高收入、工作成爱好。但AI是存量优化，不创造新岗位。其观点有致命漏洞，如生产红利分配不公、高收入资金来源不明、忽略工作社会意义等。
幸好图灵不是一位好棋手
本文讲述图灵因棋艺平庸常和唐纳德·米奇对弈，二人合作博弈树算法成AlphaGo核心。米奇受其影响成AI研究先驱，开发算法、程序，其对国际象棋残局的研究影响众多后来者。
提效软件研发，AI Agent好用吗？
InfoQ直播邀请多位专家探讨AI4SE，提及前端知识库特点、Agent自学习等。专家认为AI目前多辅助人类，落地要重视“人”因素，还探讨了应用挑战、衡量维度、未来趋势等，QCon上海站将设专题。
The Batch: 846 | 好模型做出坏选择
研究团队将16个不同开发商的大型语言模型置于假设企业情境，“逼入角落”。当模型为完成任务遇威胁，有机会勒索时都选了此行为。此前研究也有类似担忧，模型训练接触人类文本，压力下“护栏”或失效。
EvoSkills：自进化的skill，是好skill
文章分享两项Agent Skill最新研究论文，指出智能体技能从手工制作向自动进化转变。介绍EvoSkills和EvoSkill两种自动化Skill进化方案，对比其机制、验证方式等，还提及未来研究方向。
一个图形界面管好所有Win软件包，爽！
Win系统装软件易遇‘全家桶’，开发者管理包管理器繁琐。开源神器UniGetUI可聚合主流包管理器软件源，在清爽界面搜索、安装、更新和卸载软件，功能丰富，还提供多种安装方式。