AI 中文社
数学 标签，匹配到约3个结果, 耗时0.0369秒
16 名数学家起草《莱顿宣言》，警告 AI 冲击数学研究信任
由来自全球 15 所大学的 16 名数学家联合撰写《莱顿宣言》（Leiden Declaration），警示 AI 正挑战数学的可靠性、署名、公平性与研究自主。...
2026-06-04
·
浏览25次
字节跳动发布新一代形式化数学推理专用模型 Seed Prover 1.5
相比上一代模型，Seed Prover 1.5 在 16.5 小时内，针对 IMO 2025 的前 5 道题目生成了完整可编译验证的 Lean 证明代码，换算成绩为 35/42，达到此前 IMO 评分标准的金牌分数线。...
2025-12-24
·
浏览542次
国内首个：网易有道开源“子曰 3 数学模型”，单块消费级 GPU 即可运行
网易有道官方测试数据显示，在 CK12-math（Internal）、GAOKAO-Bench（Math）、MathBench（K12）、MATH500 等数据集上，14B 轻量级的“子曰 3 数学模型”各项得分均高于 DeepSeek-R...
2025-06-23
·
浏览447次
上一页
·
下一页
· 当前第1页
