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

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

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

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

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

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

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

Хардкор

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

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

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

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

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

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

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

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

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

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

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

Поделиться
Понравилась статья? Расскажите другим
ВКонтакте
Читайте также
Новости робототехники Телеуправляемый андроид Unitree G1 прооперировал свиней. Им лапароскопически удалили желчный пузырь Новости робототехники Weave Robotics запускает Айзека, своего первого представителя робота-гуманоида Новости робототехники Страх перед человекоподобными роботами подтолкнул рабочих к забастовке на автомобильном заводе Hyundai. Новости робототехники Основатель Максимо рассказывает, как робототехника строит строительство солнечной энергетики. Архив рубрики ~Обо всем~ Астрономы нашли кандидата в самый далекий галактический бар. Он существовал спустя почти 1,2 миллиарда лет после Большого Взрыва Новости робототехники По заключению Национального совета по безопасности на транспорте (NTSB), водитель Tesla, который объяснил аварию тем, что автопилот нажал на педаль газа на 100%. Новости робототехники Mondo Robotics представляет собой Beni, вездеходного робота с электрической розеткой и искусственным интеллектом для потребителей. Архив рубрики ~Обо всем~ «Парачастицы» могут стать представителями третьего царства квантовых частиц Архив рубрики ~Коротко из Telegram~ Нейросеть обучили подсчету и оценке качества семян Архив рубрики ~Коротко из Telegram~ «Комендантский час» на соцсети для подростков 16-17 лет хотят ввести… Архив рубрики ~Коротко из Telegram~ В Южной Корее создадут бесплатного ИИ-бота для всех граждан. Архив рубрики ~Коротко из Telegram~ В США 73% технических вакансий требуют навыков работы с ИИ,… Архив рубрики ~Обо всем~ Компания SpaceX внезапно прервала второй запуск Starship V3 после запуска двигателя. Архив рубрики ~Коротко из Telegram~ Samsung хочет обучать ИИ на данных здоровья Новости робототехники Телеуправляемый андроид Unitree G1 прооперировал свиней. Им лапароскопически удалили желчный пузырь Новости робототехники Weave Robotics запускает Айзека, своего первого представителя робота-гуманоида Новости робототехники Страх перед человекоподобными роботами подтолкнул рабочих к забастовке на автомобильном заводе Hyundai. Новости робототехники Основатель Максимо рассказывает, как робототехника строит строительство солнечной энергетики. Архив рубрики ~Обо всем~ Астрономы нашли кандидата в самый далекий галактический бар. Он существовал спустя почти 1,2 миллиарда лет после Большого Взрыва Новости робототехники По заключению Национального совета по безопасности на транспорте (NTSB), водитель Tesla, который объяснил аварию тем, что автопилот нажал на педаль газа на 100%. Новости робототехники Mondo Robotics представляет собой Beni, вездеходного робота с электрической розеткой и искусственным интеллектом для потребителей. Архив рубрики ~Обо всем~ «Парачастицы» могут стать представителями третьего царства квантовых частиц Архив рубрики ~Коротко из Telegram~ Нейросеть обучили подсчету и оценке качества семян Архив рубрики ~Коротко из Telegram~ «Комендантский час» на соцсети для подростков 16-17 лет хотят ввести… Архив рубрики ~Коротко из Telegram~ В Южной Корее создадут бесплатного ИИ-бота для всех граждан. Архив рубрики ~Коротко из Telegram~ В США 73% технических вакансий требуют навыков работы с ИИ,… Архив рубрики ~Обо всем~ Компания SpaceX внезапно прервала второй запуск Starship V3 после запуска двигателя. Архив рубрики ~Коротко из Telegram~ Samsung хочет обучать ИИ на данных здоровья

Оставить комментарий