En ny GPT Pro-modell verkar testas på webben, vet inte riktigt hur det är med appen.
Det ser ut som ett ENORMT hopp i kodningsförmåga; kan skriva ut 6000+ rader i en prompt. Fler exempel i kommentarerna.
Du kan veta att du har den om det finns en tumme upp/ner-knapp bredvid CoT-sammanfattningen.
Erdős Problem #635 löstes autonomt av GPT-5.2 Pro.
Modellen tänkte i bara 50 minuter, gav ett korrekt bevis i Latex, som sedan formaliserades i Lean av @HarmonicMath Aristoteles.
Stort tack till @AcerFur för att du städade upp Lean.
Litteraturöversikten pågår.
* Nano Banan 2 * ENORM Output Library!
Igår fick jag tillgång till nano banana 2 och genererade massor av bilder hela dagen.
Jag tar inte med uppmaningar eftersom det skulle ta mig år, här är bilderna:
