Нова модель GPT Pro, здається, тестується в інтернеті, не впевнений щодо додатку.
Виглядає як ВЕЛИЧЕЗНИЙ стрибок у програмуванні; може вивести 6000+ рядків в одному запиті. Більше прикладів у коментарях.
Ви можете знати, що це є, якщо поруч із CoT є кнопка «великий палець вгору/вниз».
Задача Ердеша #635 автономно вирішена GPT-5.2 Pro.
Модель думала лише 50 хвилин, виводячи правильний доказ у Latex, а потім формалізований у Lean Арістотелям @HarmonicMath.
Велика подяка @AcerFur за очищення Lean.
Огляд літератури триває.
*Nano Banana 2* ВЕЛИЧЕЗНА вихідна бібліотека!
Вчора я отримав доступ до nano banana 2 і згенерував тонну зображень за весь день.
Я не включаю підказки, оскільки це займе у мене роки, ось зображення:
