Ich habe gestern eine interessante Schwelle überschritten, von der ich denke, dass viele andere Mathematiker in letzter Zeit ebenfalls darüber hinweggegangen sind. Während ich versuchte, ein Ergebnis zu beweisen, identifizierte ich eine Aussage, die wahr zu sein schien und die, wenn sie wahr ist, nützlich für mich wäre. 1/3

Anstatt zu versuchen, es zu beweisen, habe ich GPT5 danach gefragt und erhielt in etwa 20 Sekunden einen Beweis. Der Beweis basierte auf einem Lemma, von dem ich noch nie gehört hatte (die Aussage lag ein wenig außerhalb meiner Hauptgebiete), also bin ich mir zwar sicher, dass ich es am Ende geschafft hätte, 2/3

Die Zeit, die ich gebraucht hätte, wäre wahrscheinlich in der Größenordnung von einer Stunde gewesen (eine Schätzung, die mit ziemlich breiten Fehlerbalken einhergeht). Es sieht also so aus, als wären wir in die kurze, aber angenehme Ära eingetreten, in der unsere Forschung durch AI erheblich beschleunigt wird, aber AI uns immer noch braucht. 3/3

PS Falls sich jemand Sorgen macht, dass es ein Lemma verwendet hat, von dem ich noch nie gehört habe, habe ich überprüft, dass das Lemma keine Halluzination war.