KI beweist selbst: Autonome Agenten betreiben eigenständige Mathematik-Forschung
Ein neues arXiv-Paper beschreibt ein Multi-Agenten-System, in dem autonome KI-Agenten in einer offenen, unstrukturierten Umgebung eigenständig mathematische Entdeckungen machen und diese untereinander validieren. Anders als bei klassischen Beweisassistenten wie Lean oder Coq w…