Архив рубрики ~Лента новостей~

Математики ВСЁ? Внутренняя ИИ-модель OpenAI опровергла гипотезу Эрдёша 1946 года

Математики ВСЁ? Внутренняя ИИ-модель OpenAI опровергла гипотезу Эрдёша 1946 года

Пока все обсуждают агентов-кодеров, OpenAI тихо выкатили результат, от которого у академиков из Принстона отвисла челюсть. Их внутренняя модель самостоятельно решила (и опровергла) классическую задачу из дискретной геометрии, над которой «кожаные» ломали голову ровно 80 лет. И сделала это максимально элегантно.

Это уже не генерация кода по промпту, это чистая фундаментальная наука.

Суть проблемы, которую сформулировал Пал Эрдёш в 1946 году, звучит просто, есть n точек на плоскости. Нужно найти максимальное количество пар точек, расстояние между которыми равно ровно 1.

  • Десятилетиями математики считали, что почти оптимальный ответ дают конструкции, похожие на квадратную решётку. Вокруг этой гипотезы строились все оценки.
  • ИИ доказал, что это чушь. Модель построила бесконечное семейство конфигураций, где таких пар радикально больше. То есть была снесена не мелкая техническая неточность, а фундаментальная база задачи.

Хардкор

Модель сделала гениальный мув, она связала плоскую геометрию с алгебраической теорией чисел. В ход пошла тяжелая артиллерия, решетки Минковского, элементы нормы один и pro-3 башни числовых полей.

По сути, ИИ взял сложнейшие инструменты из совершенно другой ветки математики и виртуозно натянул их на геометрию. Профессор Нога Алон из Принстона уже публично признал, ответ оказался неожиданным, а методы нетривиальными.

Математики ВСЁ? Внутренняя ИИ-модель OpenAI опровергла гипотезу Эрдёша 1946 года

Главный шок этой новости заключается в самом процессе работы. Участие человека здесь стремится к нулю:

  1. Формулировка. ИИ сам формализовал задачу.
  2. Решение. Внутренняя модель сгенерировала доказательство.
  3. Валидация. Автоматический AI-пайплайн провел первичную проверку на ошибки.

Людям оставили только роль ассистентов, причесать текст, поправить форматирование и довести PDF-ку до публикации.

Мы официально перешагнули черту. ИИ перестал быть просто поисковиком по чужим знаниям. Модель самостоятельно генерирует новую математику, находит неочевидные связи на высочайшем уровне абстракции и двигает науку вперед.

Почитать оригинал Блог OpenAI

Не отставайте от технологий! Подписывайтесь на Telegram-канал, чтобы быть в курсе последних трендов и лайфхаков.

Источник: vc.ru

Оцените материал:

Поделиться
Понравилась статья? Расскажите другим
ВКонтакте
Читайте также
Новости робототехники ИИ и дроны: Эрик Шмидт о величайшей революции в истории военного дела Архив рубрики ~Коротко из Telegram~ Сбер подтвердил информацию об атаке беспилотника на свой дата-центр в… Архив рубрики ~Коротко из Telegram~ Дата-центр на случай конца света Председателя правления «Ростелекома» Валерий Ермаков… Архив рубрики ~Коротко из Telegram~ Я в американский бигтех. Кому что взять? В OpenAI поймали… Архив рубрики ~Коротко из Telegram~ В двух остановленных дата-центрах «Яндекса» ранее размещались три суперкомпьютера с… Архив рубрики ~Коротко из Telegram~ Тестируем AI Studio для рабочих задач Здесь можно настраивать и… Архив рубрики ~Коротко из Telegram~ Google выпустила Gemini 4 Argon — и превращает Gemini в… Архив рубрики ~Коротко из Telegram~ Anthropic за полгода заблокировала больше 11 млн аккаунтов Anthropic обновила… Архив рубрики ~Коротко из Telegram~ Qwen показала QwenGyre — систему для более эффективного обучения ИИ-агентов…. Архив рубрики ~Коротко из Telegram~ Microsoft делает ставку на свои ИИ-чипы: Maia станет основой инференса… Архив рубрики ~Коротко из Telegram~ Всё о Claude Code в одном месте: появился бесплатный курс… Архив рубрики ~Коротко из Telegram~ Вайбкодер нашёл возможную новую планету с помощью Claude Code Вайбкодинг… Архив рубрики ~Коротко из Telegram~ Китай выдал ИИ-аватару официальное удостоверение личности — впервые виртуальная певица… Архив рубрики ~Полезное~ Камера сама подскажет, как встать для удачного кадра — нашли… Новости робототехники ИИ и дроны: Эрик Шмидт о величайшей революции в истории военного дела Архив рубрики ~Коротко из Telegram~ Сбер подтвердил информацию об атаке беспилотника на свой дата-центр в… Архив рубрики ~Коротко из Telegram~ Дата-центр на случай конца света Председателя правления «Ростелекома» Валерий Ермаков… Архив рубрики ~Коротко из Telegram~ Я в американский бигтех. Кому что взять? В OpenAI поймали… Архив рубрики ~Коротко из Telegram~ В двух остановленных дата-центрах «Яндекса» ранее размещались три суперкомпьютера с… Архив рубрики ~Коротко из Telegram~ Тестируем AI Studio для рабочих задач Здесь можно настраивать и… Архив рубрики ~Коротко из Telegram~ Google выпустила Gemini 4 Argon — и превращает Gemini в… Архив рубрики ~Коротко из Telegram~ Anthropic за полгода заблокировала больше 11 млн аккаунтов Anthropic обновила… Архив рубрики ~Коротко из Telegram~ Qwen показала QwenGyre — систему для более эффективного обучения ИИ-агентов…. Архив рубрики ~Коротко из Telegram~ Microsoft делает ставку на свои ИИ-чипы: Maia станет основой инференса… Архив рубрики ~Коротко из Telegram~ Всё о Claude Code в одном месте: появился бесплатный курс… Архив рубрики ~Коротко из Telegram~ Вайбкодер нашёл возможную новую планету с помощью Claude Code Вайбкодинг… Архив рубрики ~Коротко из Telegram~ Китай выдал ИИ-аватару официальное удостоверение личности — впервые виртуальная певица… Архив рубрики ~Полезное~ Камера сама подскажет, как встать для удачного кадра — нашли…