在高温度下开启思考，意味着谷歌根本不是在让它「死记硬背」套公式，而是故意赋予它极高的语义发散度，鼓励它在广袤的解空间里进行随机性极高的直觉跳跃、概念隐喻与非传统联想——这恰恰是顶尖人类数学家在黑板前灵光一…
谷歌实验AI模型Mathematica曝光：百万词元上下文，聚焦数学难题求解
DeepSeek V3.2正式版发布：推理比肩GPT-5
DeepSeek推出DeepSeekMath-V2模型，主打自验证数学推理能力
创始人是ICML'25时间检验奖作者。
援引博文介绍，英伟达针对这一难题，推出了 OpenMath-Nemotron-32B 和OpenMath-Nemotron-14B-Kaggle两款模型，基于 Qwen 系列 transforme…
研究人员要求模型输出自然语言描述和 Python 代码形式的“思维链”步骤，并将自然语言作为 Python 代码注释，仅使用 Python代码输出训练模型。 研究人员使用了 74 万道公开的数学应用题及其…
此前，MM Grupp 是 ZA/UM 开发的 RPG 游戏《极乐迪斯科》的主要投资者之一。 Dark Math 是今年初由前 ZA/UM员工创立的工作室，创始人包括《极乐迪斯科》的执行制作人 Kaur K…
QwQ-32B-Preview 包含 325 亿个参数，能够处理最长 32000 个 tokens 的提示词；在 AIME 和 MATH基准测试中，它的表现优于 OpenAI 的两个推理模型 o1-pre…
11 月 26 日消息，月之暗面于 11 月 16 日发布了新一代数学推理模型 k0-math，官方今日宣布基于该模型的 Kimi数学版上线。 在 Kimi 网页版中，选择侧边栏的“眼镜”图标，即…
11 月 15 日消息，研究机构 Epoch AI 现公布了一款名为 FrontierMath 的全新 AI模型数学基准测试集，旨在评估系列模型的数学推理能力。 与现有诸如 GSM-8K、MATH…
专题论坛上，上海纽约大学数学和数据科学助理教授Mathieu Laurière分享了用于大规模多代理系统的机器学习和生成式AI。Mathieu Laurière指出，通过多智能体系统可以了解人们的行为及决…
9 月 16 日消息，MathWorks 于 9 月 12 日发布了 MATLAB 和 Simulink 产品系列版本 2024b（R2024b）。 除了 MathWorks 平台产品的改进之外，…
10/26 04:15
10/26 03:05
10/26 03:03
10/26 02:10
10/26 02:05
10/26 00:16
10/26 00:15
10/26 00:10
10/26 00:06
京公网安备 11011402013531号