近日，LessWrong 上一篇分析文章指出，大语言模型之所以在数学和编程任务上表现突出，并不能简单归因于“数学答案容易验证”。更核心的原因在于：这些模型的能力仍主要由模仿学习驱动，而非强化学习；数学领域的预训练...

近日，OpenAI研究科学家Noam Brown在一次深度访谈中系统阐述了对推理模型、多智能体系统、数学进展加速以及递归自我改进等前沿议题的看法。作为推理模型发展的关键贡献者，Brown指出当前数学领域正经历快速突破，并...

OpenAI宣布其内部AI系统完成了对纳维-斯托克斯存在性与光滑性问题的证明，这一难题已有约90年历史，并位列克雷数学研究所七大千禧年大奖难题。该模型的研究结论是，光滑的三维流体动力学可以发展出有限时间奇点，意...

Anthropic宣布其AI系统Claude在Lean证明助手中仅用11天，就完成了费马大定理的首个完整计算机可验证证明。该定理由Andrew Wiles于1995年首次给出手工证明，其形式化验证长期被视为极其复杂的工作。Claude生成的证明...

vgpu 是 Vercel Labs 推出的一个 TypeScript 库，专为 WebGPU 设计，旨在以模块化方式统一着色器、3D 场景、GPU 张量、神经网络和数学可视化等计算与渲染任务。该库提供类型化着色器导入能力，并采用紧凑的 GPU 优先...

NVIDIA在Hugging Face平台推出DeepSeek-V4-Pro-0813-NVFP4量化模型，该模型是DeepSeek-V4-Pro-0813的量化版本，采用自回归混合专家（MoE）语言模型架构。通过NVIDIA Model Optimizer量化后，模型在保持高级推理能力...

近日，菲尔兹奖得主、知名数学家Timothy Gowers在其博客发文探讨大语言模型（LLM）在数学研究中真正擅长的任务类型。他指出，目前LLM参与解决的许多著名数学问题，几乎都是通过构造反例来完成的，而不是给出完整严格...

微软正式发布 MAI-Thinking-1，这是一款面向企业工作负载的中等规模推理模型，重点提升编码、数学和知识类任务中的成本效率。该模型强调在推理能力与部署成本之间取得平衡，适合需要大规模调用又对响应速度和预算敏...