Кажется, новая модель GPT Pro тестируется в вебе, не уверен насчет приложения. Это выглядит как ОГРОМНЫЙ скачок в способности к кодированию; может выводить более 6000 строк за один запрос. Больше примеров в комментариях. Вы можете узнать, что у вас есть эта модель, если рядом с резюме CoT есть кнопка с thumbs up/down.

Проблема Эрдёша #635 была автономно решена GPT-5.2 Pro. Модель думала всего 50 минут, выдав правильное доказательство в Latex, затем формализованное в Lean @HarmonicMath's Aristotle. Большое спасибо @AcerFur за очистку Lean. Обзор литературы продолжается.

*Nano Banana 2* ОГРОМНАЯ Библиотека Выходов! Вчера я получил доступ к nano banana 2 и генерировал кучу изображений целый день. Я не включаю подсказки, так как это заняло бы у меня годы, вот изображения: