LongTails发布25项以上数学优化结果

Ivan Oseledets团队发布LongTails项目，公布25项以上数学优化新结果，并对若干已知复杂度上界作出改进；所有证明均已通过Lean 4形式化验证，项目网站与GitHub仓库也已公开。 该项目由Alexander Tyurin主导，是“AI for Science”在数学优化方向的产出。作者称，部分结果涉及的常数改动幅度较大，但报道未列明各项改进的具体范围与适用条件。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。