Een nieuw GPT Pro-model lijkt getest te worden op het web, niet zeker over de app. Het lijkt een ENORME sprong in programmeervaardigheid; kan 6000+ regels in één prompt genereren. Meer voorbeelden in de reacties. Je weet dat je het hebt als er een duim omhoog/omlaag knop naast de CoT-samenvatting staat.

Erdős Probleem #635 autonoom opgelost door GPT-5.2 Pro. Het model heeft slechts 50 minuten nagedacht en een correcte bewijs in Latex geproduceerd, vervolgens geformaliseerd in Lean door @HarmonicMath's Aristoteles. Grote dank aan @AcerFur voor het opruimen van de Lean. Literatuuronderzoek is aan de gang.

*Nano Banana 2* ENORME Output Bibliotheek! Gisteren kreeg ik toegang tot nano banana 2 en genereerde ik de hele dag een hoop afbeeldingen. Ik sluit de prompts niet in, want dat zou me jaren kosten, hier zijn de afbeeldingen: