erdős-problems

作者声称在五天时间内解决了数学家Paul Erdős提出的六个未解决问题。

本文介绍了一种使用LLM智能体（编码智能体和理论智能体）发现尖锐常数不等式的凸松弛的自动研究范式，从而改进了两个优化常数的认证下界。