ChatGPT, Deepseek, Gemini и Claude Code глазами Александра Горного
IT и технологии · 7 октября 2026 г.
OpenAI опубликовала 722 математические работы от новой модели
OpenAI опубликовала 722 математические работы от новой модели В подборку входят основные доказательства открытых задач, их следствия, дополнительные результаты и альтернативные доказательства. Для многих доказательств выложили версии на Lean, чтобы их можно было проверить на компьютере. Некоторые работы ещё могут содержать ошибки. OpenAI подсчитала, что на один результат в среднем уходил объём вычислений, сопоставимый с тремя часами размышлений ChatGPT Pro. Сама модель готовится к релизу, но сроки не называют. https://openai.com/index/sharing-ai-progress-in-mathematics/
Канал в каталоге Максиметера
11 247 подписчиков · IT и технологии