数学-青云TOP-AI综合资源站平台|青云聚合API大模型调用平台|全网AI资源导航平台

青云TOP-AI综合资源站平台|青云聚合API大模型调用平台|全网AI资源导航平台

行动起来，活在当下

累计撰写 2598 篇文章
累计创建 886 个标签
累计收到 0 条评论

目录CONTENT

以下是数学相关的文章

2025-12-03
GPT-5.1-Codex-Max 系统卡 OpenAI发布了其前沿的代理式编程模型GPT-5.1-Codex-Max系统卡。该模型基于基础推理模型的更新，原生支持通过“压缩”过程在数百万个Token的上下文窗口中进行连贯操作，并在软件工程、数学、研究等多个领域进行了训练。系统卡详细介绍了模型级和产品级的安全措施，并指出该模型在网络安全领域能力很强，但尚未达到“高能力”级别。
- 2025-12-03
- 0
- 0
- 0
- AI新闻/评测
- AI基础/开发
2025-11-28
DeepSeek 发布 DeepSeekMath-V2 模型，主打自验证数学推理能力 DeepSeek近日发布了DeepSeekMath-V2模型，该模型聚焦于提升模型的自验证数学推理能力，旨在解决仅依赖最终答案正确率带来的推理链条不严谨问题。通过引入基于LLM的验证器自动审查证明过程，并利用扩展计算生成高难度训练样本，DeepSeekMath-V2在多项顶级数学竞赛中展现出卓越性能。该模型在IMO 2025和CMO 2024中达到金牌水准，并在Putnam 2024中取得接近满分的成绩，为构建更可靠的数学智能系统奠定了基础。
- 2025-11-28
- 0
- 0
- 0
- AI基础/开发
- AI工具应用