Вышла o3-mini

Её можно использовать бесплатно на сайте ChatGPT (она находится там под такой же кнопкой Reasoning как у DeepSeek был R1).

Напоминаю, чтобы создать аккаунт в РФ, вам нужно просто:
1. Купить временный виртуальный номер (с юрисдикцией, где chatGPT доступен) для принятия смс.
2. Создать почту в якобы той же стране.
3. Включить vpn и зарегистрироваться на сайте chatGPT с этой почтой и телефоном.

Говорят нужно быть осторожным, если сайт заметит в вас что-то русское (особенно IP), то сразу заблокирует аккаунт.

Это первая рассуждающая модель OpenAI с бесплатным доступом и она чертов гений. Попробуйте использовать её.

На скринах лемма, аналог которой я активно пытался доказать в прошлом году и понял как доказывать неделю назад (теперь мне осталось только проверить, что модельная категория симплициальных C^inf-колец left proper, что, вероятно, сделается так же, как и для обычных симп. колец с помощью спектральной последовательности Кюннета). С o3 это заняло бы несколько минут.