刚刚由清华大学本科生伍垟圳为一作的论文《推理Scaling Laws：面向语言模型问题求解的计算最优推理实证分析》在顶级AI学术会议NeurIPS 2024 Math-AI上荣获杰出论文奖（Outstanding Paper ...

小交 发自 凹非寺量子位 | 公众号 QbitAI o1/o3带火的推理计算Scaling，原来谷歌早在今年8月就曾探讨过。 当时，来自斯坦福、牛津以及谷歌DeepMind的团队提出通过重复采样来扩展推理计算量—— 结果在编码任务中将性能最多提高40 ...

蓝鲸新闻12月23日讯（记者 ...

Dark Math Games 工作室为其首个项目“XXX Nightshift”获得了额外的资金支持。尽管具体金额并未透露，但据悉，这笔资金来自爱沙尼亚投资公司 MM Grupp。此前，MM Grupp 是 ZA/UM 开发的 RPG ...

微软下一代14B小模型Phi-4出世了！仅用了40%合成数据，在数学性能上击败了GPT-4o，最新36页技术报告出炉。 最近，微软下一代小模型Phi-4正式亮相。在GPQA和MATH基准上，其数学性能直接碾压GPT-4o、Gemini Pro 1.5 ...

在两个难度更大的竞赛级别的数学题库 OMNI-MATH 和 AIME 基准测试中，k0-math 初代模型的表现分别达到了 o1-mini 最高成绩的 90% 和 83%。

Dark Math Games 工作室为其首个项目“XXX Nightshift”获得了额外的投资。工作室并未透露具体金额，但告诉 GI.biz 新融资为 7 位数。 此次投资来自爱沙尼亚投资公司 MM Grupp，此前它还是 ZA/UM 开发的好评 RPG《极乐迪斯科》的主要投资者，而 Dark Math 就是今年早些时候由 ...

教程中提出的框架基于一个核心假设：空间域和频谱域的图表示学习可以通过一个共同的数学语言进行描述。研究人员引入了一种新的图嵌入方法，该方法结合了图的空间连接性和节点特征，能够更加精准地捕捉和表示图数据的复杂性。

12/23 09:11 关注新茶饮行业趋势，了解各品牌产品上新信息。  来自北京市 OpenAI下一代模型——o3，重磅诞生了！陶哲轩预言难住AI好几年的数学测试，它瞬间破解，编程水平位于全球前200，在ARC-AGI基准中更是惊人，打破所有AI纪录接近人类水平，离AGI更近一步。 正如所爆料那样，突如其来的o3成为整场直播的「压轴菜」。 奥特曼表示，之所以跳过o2，是因为对伙伴的尊重，以及延续O ...

报告中还写道，尽管每项任务的成本很高（o3 在低计算量模式下每个任务需要 17-20 美元，高计算量模式下每个任务数千美元），但这些数字不仅仅是将暴力计算应用于基准测试的结果。OpenAI 的新 o3 ...

IT之家 11 月 26 日消息，月之暗面于 11 月 16 日发布了新一代数学推理模型 k0-math，官方今日宣布基于该模型的 Kimi 数学版上线。 在 Kimi 网页版中 ...

IT之家 11 月 26 日消息，月之暗面于 11 月 16 日发布了新一代数学推理模型 k0-math，官方今日宣布基于该模型的 Kimi 数学版上线。 在 Kimi 网页版中，选择侧边栏的“眼镜”图标，即可使用基于 k0-math 模型的 Kimi 数学版，官方称后续会推出手机版。 官方表示 ...