数学 标签，匹配到约9个结果, 耗时0.0392秒
25 位菲尔兹奖得主联合警告“AI 在数学领域严重错位”，邓煜调侃要退休回家写百合小说
当地时间 9 月 11 日，陶哲轩、邓煜、彼得 · 舒尔茨（Peter Scholze）等 25 位菲尔兹奖得主作为最初签署人，联合发表声明《人工智能在数学中的严重错位》（A Severe Misalignment of AI in Mat...
2026-09-12
·
浏览17次
事态紧急！25位菲尔兹奖得主联合警告AI正毁掉数学
快科技9月12日消息，当地时间11日，25位菲尔兹奖得主联合发布声明《人工智能在数学中的严重错位》，陶哲轩、邓煜、彼得·舒尔茨等顶尖数学家为首批签署人。
声明首先肯定，近期大模型数学...
2026-09-12
·
浏览16次
AI 辅助“推翻”考拉兹猜想失败，Lean 4.32.2 修复内核漏洞
科技媒体 Gigazine 昨日（8 月 3 日）发布博文，报道称一项借助 AI 完成、声称推翻考拉兹猜想的 Lean 形式化证明被确认无效。...
2026-08-04
·
浏览165次
均为 10 年以上未解难题：OpenAI 公布下一代模型 Astra 在数学等领域的十项进展，Token 成本约 2000 美元
这些成果由 OpenAI 的下一代核心模型 Astra 的内部版本计算得出。...
2026-08-02
·
浏览240次
均为 10 年以上未解难题：OpenAI 公布在数学与理论计算机科学领域的十项进展，Token 成本约 2000 美元
这些成果由 OpenAI 的下一代核心模型 Astra 的内部版本计算得出。...
2026-08-02
·
浏览194次
菲尔兹奖得主邓煜谈 AI：已能帮助数学证明，但不能替代独立思考
7 月 24 日，2026 年菲尔兹奖得主、芝加哥大学教授邓煜近日在接受采访时透露，他在数学研究中会使用 AI 辅助工具，GPT 曾帮助解决一个连续几天未能突破的数学特例。...
2026-07-25
·
浏览191次
16 名数学家起草《莱顿宣言》，警告 AI 冲击数学研究信任
由来自全球 15 所大学的 16 名数学家联合撰写《莱顿宣言》（Leiden Declaration），警示 AI 正挑战数学的可靠性、署名、公平性与研究自主。...
2026-06-04
·
浏览260次
字节跳动发布新一代形式化数学推理专用模型 Seed Prover 1.5
相比上一代模型，Seed Prover 1.5 在 16.5 小时内，针对 IMO 2025 的前 5 道题目生成了完整可编译验证的 Lean 证明代码，换算成绩为 35/42，达到此前 IMO 评分标准的金牌分数线。...
2025-12-24
·
浏览728次
国内首个：网易有道开源“子曰 3 数学模型”，单块消费级 GPU 即可运行
网易有道官方测试数据显示，在 CK12-math（Internal）、GAOKAO-Bench（Math）、MathBench（K12）、MATH500 等数据集上，14B 轻量级的“子曰 3 数学模型”各项得分均高于 DeepSeek-R...
2025-06-24
·
浏览576次
上一页
·
下一页
· 当前第1页
