En ny GPT Pro-modell ser ut til å bli testet på nettet, men jeg er ikke sikker på appen.
Det ser ut som et ENORMT hopp i kodingsevnen; kan sende ut 6000+ linjer i én prompt. Flere eksempler i kommentarfeltet.
Du kan vite at du har den hvis det er en tommel opp/ned-knapp ved siden av CoT-sammendraget.
Erdős-problem #635 løst autonomt av GPT-5.2 Pro.
Modellen tenkte i bare 50 minutter, og leverte et korrekt bevis i Latex, deretter formalisert i Lean av @HarmonicMath Aristoteles.
Stor takk til @AcerFur for at du ryddet opp Lean.
Litteraturgjennomgangen pågår.
*Nano Banana 2* STORT utdatabibliotek!
I går fikk jeg tilgang til nano banana 2 og genererte massevis av bilder hele dagen.
Jeg inkluderer ikke spørsmål, da det ville ta meg år, her er bildene: