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

Anthropic公司研发的AI模型Claude在一个尚未正式发布的版本中，于黎曼猜想相关的核心问题上取得了令人瞩目的进展。黎曼猜想作为数学界最负盛名的未解难题之一，其核心在于黎曼zeta函数非平凡零点的分布规律，与素数...

OpenAI近日宣布对ChatGPT进行重要更新，核心围绕GPT-5.6 Sol与GPT-5.6 Luna两大模型展开。此次升级显著提升了GPT-5.6 Sol的响应准确性和一致性，使其在事实核查、逻辑推理和专业内容生成等任务上表现更为可靠，背后...