Nový model GPT Pro se zdá být testován na webu, nejsem si jistý ohledně aplikace.
Vypadá to na OBROVSKÝ skok v programátorských schopnostech; Dokáže vydat 6000+ řádků v jednom promptu. Další příklady v komentářích.
Poznáte, že ho máte, pokud je vedle shrnutí CoT tlačítko palec nahoru/dolů.
Erdősův problém #635 autonomně vyřešen pomocí GPT-5.2 Pro.
Model přemýšlel jen 50 minut, vydal správný důkaz v Latexu, který byl pak formalizován v Lean Aristotelem z @HarmonicMath.
Velké díky @AcerFur za úklid Leanu.
Literaturní přehled stále probíhá.
* Nano Banana 2 * OBROVSKÁ výstupní knihovna!
Včera jsem získal přístup k nano banana 2 a za celý den jsem generoval tunu obrázků.
Neuvádím výzvy, protože by mi to trvalo roky, zde jsou obrázky:
