「希尔伯特第六问题」共找到 3217 篇相关文章
专访希姆计算陈炜博士：“技术与人才标准”双轮驱动，推动 RISC-V 生态繁荣
在2025 RISC-V中国峰会期间，希姆计算陈炜博士接受专访，介绍RISC-V在AI领域布局，提及希姆计算推动技术标准制定的贡献与挑战，还阐述国内人才缺口及培养标准，认为技术与人才标准相辅相成。
对话王小川：换个身位，做一家「医疗突出」的模型公司
百川智能创始人王小川与极客公园创始人张鹏长谈。百川曾快速扩张后调整，聚焦医疗。其新发布的医疗大模型Baichuan - M2性能优异，超OpenAI两开源模型。王小川认为造AI医生复杂，且AI家庭医生会比无人驾驶更早到来。
Make SFT Great Again！从SFT到DFT：一权重之差，泛化之跃
大型语言模型的监督微调（SFT）简单高效，但泛化能力弱于强化学习（RL）。本文直击 SFT 核心缺陷，揭示其泛化瓶颈源于隐含的“病态奖励结构”，并提出仅需单行代码修改的动态微调（DFT），实验表明其效果显著。
智能体的致命三要素及六种安全设计模式
智能体发展带来诸多安全问题，仅靠外部防护不合理。Simon Willison总结其致命三要素，指出间接提示词注入攻击难防。Invariant Labs等提出六种安全设计模式，可综合使用，多LLM方法值得关注。
40年后，Dijkstra算法极限再被突破，清华段然团队更快最短路径算法摘STOC最佳论文
清华交叉信息研究院段然团队研究出全新算法，改进图灵奖得主等人1984年提出的算法，跳过不必要排序，专注重要点间最短距离，缩短计算时间。该研究在STOC 2025获最佳论文奖。
无需外部数据！AI自问自答实现推理能力进化
卡内基梅隆大学团队提出SQLM框架，这是无需外部数据的自我提问模型，含提问者和解答者角色。通过强化学习最大化期望奖励，设计自监督奖励函数。实验显示其能提升Qwen2.5 - 3B - Instruct多任务准确率。
硅基公司裁员二三事
作者回顾2017年入职硅基智能（当时叫南京必拓狮）的经历，讲述公司转型AI赛道的过程、产品开发情况，以及老板司马华鹏的想法和管理方式，还总结了创业应注意的教训。
半量工具，双倍效能：ARPO革新大模型强化学习
大语言模型在多轮工具调用场景有挑战，传统强化学习算法有探索效率低和资源消耗大问题。本文提出ARPO，通过量化token熵分布变化设计自适应探索机制，降低工具调用成本且提升多轮推理性能。
GPT-5难产，外媒爆料：性能提升不大，OpenAI高管Slack上当众破防
GPT-5 迟迟未现身，引发众多传言。外媒爆料其虽有改进，但性能飞跃不如早期 GPT 型号。OpenAI 面临技术问题、组织重组压力等，不过 GPT-5 开发仍有进展，且公司新一轮融资顺利。
AI百人榜刷屏，小扎照单全收？辛顿Ilya师徒霸榜，第二名竟是本科生
Top 100人工智能名单出炉，Ilya登顶，Hinton家族两人入选，图灵排名第六。78人有博士学位，排名第2的是本科生。清华等国内大学校友多人入选，该名单疑似启发自扎克伯格的机密人才名单。