DeepSeek 开源数学推理大模型 DeepSeek-Math-V2，超越 Gemini 获得 IMO 金牌-小互 DeepSeek发布了开源数学推理大模型 DeepSeek-Math-V2，其核心创新在于一个“生成+验证+复审”的自我验证系统。该模型在国际数学奥赛（IMO 2025）中解出6题中的5题，达到金牌水平，在中国数学奥赛（CMO 2024）和普特南数学竞赛（Putnam 2024）中也表现优异。它全面超越了 GPT-5-Thinking 和 Gemini 2.5 Pro，展现出高准确率和严谨的推理能力，能够自动生成数学证明并自行检查和修正错误。 神秘视频模型 Whisper Thunder (aka) David 登 …
阅读更多向阳乔木用油猴脚本增强飞书文档AI功能-向阳乔木 用户“向阳乔木”分享了如何通过油猴脚本（Tampermonkey script）来增强飞书文档的功能，使其成为更强大的主力笔记工具。这项改进在工具栏中集成了AI对话、复制和谷歌搜索等功能，显著提升了飞书文档在内容创作和信息检索方面的效率。这一举措旨在优化用户体验，让飞书文档在与iOS备忘录共同使用时，发挥更全面的作用。 AI预训练数据“数据墙”被质疑：FinePDFs发布3T新文本数据-merve 有观点认为AI预训练已达到“数据墙”瓶颈，甚至“预训练已死”。然而，最新发布的研究表明情况并非如此。一项名为“FinePDFs”的新数据集已被公布，该数据集包含了3万亿（3T）新文 …
阅读更多