dual-agents

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