按标签查看文章: ai-math

GPT-5.4 Pro 解决了来自格林列表的埃尔德什问题 No. 1202

了解 GPT-5.4 Pro 与利亚姆·普赖斯如何在加法组合学中证伪了埃尔德什的假设。反例中存活数字的比例呈线性。供数学家和 AI 开发者参考的细节。

GPT-5.4 Pro：非中心化测度下 GCI 的反例

GPT-5.4 Pro 推翻了移位高斯测度的高斯相关不等式假设。二维条带反例，推广到 n≥2。解决方案详情见 solveall.org。AI 在数学中的研究。

通过 CMF 和 AI 连接的 π 公式

Technion AI 将 385 个 π 数公式统一到一个单一 CMF 结构中：43% 来自基础。供数学家和开发者使用 — 方法细节、簇、前景。探索该分析。

AI 在数学中：Terence Tao 的结论

Terence Tao 分享日常 AI 使用经验：假设生成成本低，但验证至关重要。Erdős 问题分析，伎俩 vs 智能。适用于开发者和数学家。