GitHub - openai/math

Дата публикации: 09-10-2026 08:16:43

Кажется, началось.
Я постоянно возвращаюсь к AI 2027, который вышел в апреле 2025 года. Одна из ключевых идей этого сценария: компании создают ИИ, который ускоряет исследования в области самого ИИ. Более мощные модели помогают быстрее создавать следующие модели, и каждый такой цикл усиливает следующий.
И вот вчера OpenAI опубликовала новые математические результаты, полученные её внутренней моделью.
Кратко, что говорят:
— 722 математические рукописи, объединённые в 372 группы связанных результатов
— В ходе исследования модели предложили около 4000 задач
— Средние вычислительные затраты на результат равен примерно трем часам размышления ChatGPT Pro
— Для части доказательств опубликованы формализации на Lean, позволяющие проверить их компьютером
— Также выложили 10 сокращённых разборов рассуждений модели. Сама модель пока недоступна публично.
Работы находятся на разных стадиях проверки. OpenAI прямо пишет, что в результатах без формализации могут быть ошибки. Это тоже нужно учитывать.
Так вот, у меня ощущение, что мы начинаем видеть зарождение того самого ускорения. Если ИИ будет всё эффективнее помогать с научными исследованиями, включая развитие самих моделей, скорость прогресса может очень сильно вырасти. Возможно, по экспоненте.
Меня это, если честно, очень воодушевляет.
Мы же с вами в прямом эфире можем следить за происходящим, разбираться и адаптироваться. Как по мне это кайф, хоть немного и неуправляемый.
Я в детстве смотрел фильмы про будущее, и было немного обломно, что живу в мире, где всего этого ещё нет. А сейчас вижу, как это будущее наступает прямо при моей жизни.
Хочется застать серьезный прогресс в медицине. Увидеть, как мы научимся грамотнее использовать ресурсы планеты, продвинемся в освоении космоса и начнём масштабироваться за пределами Земли. Надеюсь, что технические возможности помогут нам и лучше организовать жизнь здесь.
Конечно, все это снова ставит вопрос о роли человека. Чем мы будем заниматься? Какие решения принимать? Чему учиться, если ИИ с каждым шагом способен решать всё более сложные задачи?
Здесь для меня особенно важна разница между полученным результатом и его применением. Математическое доказательство нужно проверить и понять. А чтобы научное открытие стало технологией, лекарством или работающим продуктом, предстоит ещё много работы.
Думаю, именно с этим нам и придётся разбираться: как проверять результаты ИИ, интегрировать их в реальные процессы и понимать, что вообще имеет смысл делать.
Я верю, что человек найдёт себе место в этом мире. Задачи будут меняться, а мы будем учиться решать их с новыми возможностями.
Я лично очень рад, что могу это наблюдать и участвовать в этом.
Их репа для изучения: https://github.com/openai/math

Схожие новости

#	Наименование новости	Тональность	Информативность	Дата публикации
1	OpenAI доказала 377 математических теорем за раз и ввела ученых ...	0	12.36	08-10-2026
2	OpenAI Floods Mathematics With Hundreds of AI-Generated Solutions	0	22.03	08-10-2026
3	Дайджест технологических новостей Мы продолжаем следить за тем, что происходит ...	0	7.7	30-09-2026
4	ИИ-дайджест: почему OpenAI остановила обучение моделей и что происходит в ...	0	8.73	02-10-2026
5	In The Wake Of The Latest Unprecedented AI Proofs, What Now For Mathematics And Mathematicians?	0	6.4	30-09-2026
6	OpenAI Makes 81% of Top Math Discoveries of the Last Three Years – Released in one Day	0	9.1	08-10-2026
7	ИИ за вчера: космос, «Энигма» и агенты ИИ готовят к ...	1	8.67	27-09-2026
8	Суббота, 3 октября 2026. ИИ снова проснулся раньше людей и ...	0	11.65	03-10-2026
9	OpenAI says it has solved 377 maths equations that have stumped experts for years	0	12.84	08-10-2026
10	На самом фундаментальном уровне человек и ИИ - информационные процессы. ...	0	5.14	03-10-2026

Классификация: Наука. Схожих патентов: 0. Схожих новостей: 10. Тональность: 0. Информативность: 12.14. Источник: vk.com.