LLM-Rahmenwerk zur Entdeckung großer mathematischer Vermutungen: KIs Suche nach der nächsten Riemann-Hypothese

arXiv:2607.28632v1 Große mathematische Vermutungen hängen immer noch stark von Experten-Intuition ab, daher fehlt eine einheitliche Methode zur systematischen Generierung und Validierung von Vermutungen mit substanziellem mathematischem Potenzial. Wir präsentieren eine dreistufige Pipeline