Ich bin absolut überzeugt, dass die intelligentesten KI-Modelle, die es derzeit gibt, GPT-5 Pro und Grok4 Heavy, bereits klug genug und sicherlich ausreichend über Mathematik und KI informiert sind, um wichtige theoretische und praktische Entdeckungen zu konzipieren und zu entwickeln, wenn sie die richtige Art von cleverem Prompting erhalten.