「AI数学研究」共找到 10801 篇相关文章
一家00后创办的世界模型公司，凭什么让华为哈勃重金押注？
近日，00后创办的魔芯科技完成Pre - A +轮近亿元融资，由华为哈勃领投。该公司从3D AI物体建模出发，研究独特技术路线，在科研和产品应用有突破，正将能力落地多领域。
AGI前夜重磅：RL突破模型「认知上限」，真·学习发生了！
AI研究圈争论RL能否赋予模型超越基础模型的推理能力。UC Berkeley等团队提出DELTA框架，观察到“RL grokking”现象，还设计新任务验证，提出两阶段奖励调度，总结两种模式等，为争论带来新依据。
刚刚，林俊旸官宣创业公司Pragmatik Labs！
原阿里千问技术负责人林俊旸官宣在上海创办新AI公司Pragmatik Labs，研究横跨数字与物理世界的下一代Agent。其获高榕创投、红杉中国领投，腾讯等支持，投后估值约20亿美元。
追平GPT-4o，数学基测96.3%高分，Hermes4 来了
Nous Research推出新一代大模型Hermes 4系列，其有混合推理和长度控制机制，还能用DataForge“造”数据，经Atropos质检。它在数学等领域表现佳，追平GPT - 4o，是开源AI对巨头的挑战。
我是微软工程师，编程了30多年，如今我几乎不再编程了
微软资深工程师 Paul Payne 分享编程 30 多年感受，认为 AI 正颠覆软件工程领域。他所在团队研究 LLM 驱动系统，系统从程序员手中接走大量工作，Amplifier 等工具让编程变得更简单，人类程序员价值将升华。
仅用提示词工程摘下IMO金牌！清华校友强强联手新发现，学术界不靠砸钱也能比肩大厂
清华校友杨林和黄溢辰，仅用提示词设计和自我迭代验证流程，让基础模型Gemini 2.5 Pro达到IMO金牌水平。他们设计的流程分六个步骤，用差异化提示词，最终为5道题生成严谨解答。
8B模型任务击败GPT-5？阶跃星辰开源Deep Think新框架，小模型解锁百万Token测试时计算
阶跃星辰推出并行协同推理框架PaCoRe，让大模型突破上下文窗口和处理速度限制。基于此框架，小模型能解锁百万级Token测试时计算。PaCoRe - 8B在数学基准测试中超越GPT - 5，还具备前沿性能、“综合”能力涌现等优势。
AGI 路线图第二阶段：游戏即模型训练｜AGIX PM Notes
文章围绕AGI展开，介绍AGI路线图第二阶段“游戏即训练”，指出游戏是训练agent的理想环境；还提及Dreamer系列研究进展。同时涵盖本周市场动态、多家公司AI动态及ETF复制指数的方法、优劣和影响。
OpenAI真正王牌，不是Ilya！刚刚，奥特曼罕见致谢这两人
大众视野里OpenAI故事只剩几个响亮名字，但Jakub Pachocki和Szymon Sidor这对从波兰高中走出的搭档，用默契把不可能变现实。从Dota AI到GPT - 4，他们身影贯穿OpenAI核心节点，奥特曼罕见致谢他们。
招聘最猛的竟不是OpenAI！这家陷入间谍案的HR初创，正在狂招工程师
自2022年11月ChatGPT推出，美国技术岗变化大。虽裁员潮缓解但新增岗位有限，竞争激烈。资深职位主导招聘，AI工程师需求旺，旧金山湾区优势明显，大厂任职年限拉长，远程岗位比例下降。