LongTails发布25+条数学优化新结果，全部通过Lean 4验证

Ivan Oseledets团队发布LongTails项目，包含25+条数学优化新结果，并对若干已知复杂度上界作出改进。所有证明均通过Lean 4形式化验证，项目网站与GitHub仓库已公开；作者还提到部分常数改动幅度较大。