OpenAI发布722个AI生成数学证明
OpenAI today released 722 AI generated math proofs.
推荐理由
模型在数学推理与定理发现上取得实质性突破，直接刷新了矩阵乘法复杂度的记录，值得关注。
OpenAI today released 722 AI generated math proofs.
OpenAI 今日发布了 722 个由 AI 生成的数学证明。
This is one of the achievement, on the topics of Matrix multiplication
这是其中一项成果，涉及矩阵乘法主题。
Here it lowers the proven cost of multiplying 2 n×n matrices from about n^2.371177, the record that AlphaEvolve set in August, to about n^2.25.
在此，它将两个 n×n 矩阵相乘的证明复杂度从 AlphaEvolve 在八月创下的约 n^2.371177 的记录降低至约 n^2.25。
The result comes with a Lean formalization, but it is a theoretical bound and does not yet hand engineers a faster routine for real GPU workloads.
该结果附带了 Lean 形式化验证，但它是一个理论界限，尚未为实际的 GPU 工作负载提供更快的例程。
更进一步：量化金融体系
看懂新闻只是起点——沿量化金融路径，把它变成能交付的工程能力