Ein neues GPT Pro-Modell scheint im Web getestet zu werden, nicht sicher bezüglich der App.
Es sieht nach einem MASSIVEN Sprung in der Programmierfähigkeit aus; es kann über 6000 Zeilen in einem Prompt ausgeben. Weitere Beispiele in den Kommentaren.
Du kannst wissen, dass du es hast, wenn ein Daumen hoch/runter-Button neben der CoT-Zusammenfassung ist.
Erdős-Problem #635 autonom gelöst von GPT-5.2 Pro.
Das Modell dachte nur 50 Minuten nach und lieferte einen korrekten Beweis in LaTeX, der dann von @HarmonicMaths Aristoteles in Lean formalisiert wurde.
Ein großes Dankeschön an @AcerFur für die Bereinigung des Lean.
Die Literaturrecherche läuft noch.
*Nano Banana 2* RIESIGE Ausgabebibliothek!
Gestern habe ich Zugang zu Nano Banana 2 erhalten und den ganzen Tag über eine Menge Bilder generiert.
Ich lasse die Eingabeaufforderungen weg, da das Jahre dauern würde, hier sind die Bilder: