Gemini löst Erdős-Probleme: Semi-autonome Mathematik-Entdeckung im Test
In einer wegweisenden Fallstudie demonstriert das KI-System Gemini, wie halbautonome Mathematik-Entdeckungen in großem Umfang durchgeführt werden können. Dabei wurden 700 offene Vermutungen aus der Bloom-Datenbank zu Er…