Nowy model GPT Pro wydaje się być testowany w sieci, nie jestem pewien co do aplikacji. Wygląda na to, że to OGROMNY skok w zdolności kodowania; może wygenerować ponad 6000 linii w jednym zapytaniu. Więcej przykładów w komentarzach. Możesz wiedzieć, że go masz, jeśli obok podsumowania CoT znajduje się przycisk z kciukiem w górę/w dół.

Problem Erdősa #635 autonomicznie rozwiązany przez GPT-5.2 Pro. Model myślał przez zaledwie 50 minut, generując poprawny dowód w LaTeX, a następnie sformalizowany w Lean przez @HarmonicMath's Arystotelesa. Wielkie podziękowania dla @AcerFur za uporządkowanie Leana. Przegląd literatury trwa.

*Nano Banana 2* OGROMNA Biblioteka Wyjściowa! Wczoraj uzyskałem dostęp do nano banana 2 i przez cały dzień generowałem mnóstwo obrazów. Nie zamieszczam podpowiedzi, ponieważ zajmie mi to lata, oto obrazy: