Tag
The author claims to have solved six open problems posed by the mathematician Paul Erdős within a span of five days.
This paper introduces an autoresearch paradigm using LLM agents (coding and theory agents) to discover convex relaxations for sharp-constant inequalities, improving certified lower bounds on two optimization constants.