- 上云资讯 -
阿里云云原生
阿里云开发者
腾讯云开发者
火山引擎开发者社区
魔搭ModelScope社区
微软科技
Azure云科技
Zilliz
OpenAI
Anthropic
Gemini
LangChain
Hugging Face
Mistral
2025-05-01 16:11:21 198人关注
数学推理新标杆！DeepSeek-Prover-V2 实现数学证明的飞跃
在人工智能领域，最近一项重磅技术发布引发广泛关注 ——DeepSeek-Prover-V2。这一模型不仅在推理性能上取得了显著提升，还被誉为通向人工通用智能（AGI）的关键一步。DeepSeek-Prover-V2在推理能力和训练效率上都进行了革命性的创新，给数学推理研究带来了新的希望。
2025-04-03 16:15:26 309人关注
Gemini-2.5-pro在MathArena评测中展现卓越数学能力 远超其他模型
2025年4月3日消息：根据MathArena最新发布的大语言模型数学能力评测结果显示，Google的Gemini-2.5-pro以绝对优势领跑，在未污染的高难度数学竞赛中展现出令人瞩目的表现。
2025-01-12 08:37:34 123人关注
LLM为何总在数学上失智？AI大牛Karpathy解释9.9<9.11
近期，一个看似简单的问题“9.11比9.9大吗?”在全球范围内引发了广泛关注，几乎所有的大型语言模型（LLM）在这个问题上都出现了失误。这一现象引起了AI领域专家Andrej Karpathy的注意，他从这一问题出发，深入探讨了当前大模型技术的本质缺陷和未来改进方向。