вариант
Дом
Новости
ИИ-решатель от OpenAI разгадал математическую загадку, над которой бились десятилетиями, опровергнув геометрическую гипотезу

ИИ-решатель от OpenAI разгадал математическую загадку, над которой бились десятилетиями, опровергнув геометрическую гипотезу

24 мая 2026 г.
49

Мир математики только что стал свидетелем знакового достижения. Компания OpenAI недавно объявила, что её новейшая модель внутреннего рассуждения успешно сгенерировала оригинальное математическое доказательство, формально опровергнув гипотезу о расстоянии в единицу, впервые выдвинутую выдающимся математиком Полом Эрдешом в 1946 году. Это событие стало первым случаем, когда искусственный интеллект самостоятельно решил нерешенную проблему в области чистой математики благодаря своему усовершенствованному механизму многоступенчатого рассуждения.

image.png

Выход за рамки поиска информации: независимая экспертная проверка

Важно отметить, что всего семь месяцев назад OpenAI подвергся академической критике за то, что якобы «извлекал существующие ответы из литературы» и не обладал подлинной оригинальностью, когда заявлял о решении нескольких задач Эрдеша. Учившись на этом опыте, компания проактивно пригласила группу всемирно известных математиков, включая Томаса Блума, для независимой проверки. С тех пор строгость доказательства получила явную поддержку со стороны множества экспертов.

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

Преодоление «галлюцинаций»: последствия для передовой науки

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

Хотя некоторые ученые отмечают, что доказательство требует дополнительного времени для всесторонней экспертной оценки, его потенциальные последствия уже привлекают значительное внимание. Гипотеза о расстоянии между единицами тесно связана с комбинаторной геометрией и теорией графов. Ожидается, что этот прорыв окажет прямое влияние на будущие исследования в различных областях, включая сворачивание белков в биологии, анализ кристаллической структуры в материаловедении, а также проектирование и оптимизацию фармацевтических молекул.

Связанная статья
Управление киберпространства Китая вводит обязательную маркировку коротких видеороликов, созданных с помощью искусственного интеллекта, а также вымышленных видеороликов Управление киберпространства Китая вводит обязательную маркировку коротких видеороликов, созданных с помощью искусственного интеллекта, а также вымышленных видеороликов Управление киберпространства Китая представило комплексный план по стандартизации маркировки контента коротких видеороликов, обязывающий платформы использовать шесть обязательных меток, в том числе «К
DeepL, известная своими услугами по переводу текстов, теперь занимается переводом речи DeepL, известная своими услугами по переводу текстов, теперь занимается переводом речи DeepL, компания-переводчик, наиболее известная своими инструментами для перевода текстов, сегодня представила набор решений для перевода «голос-голос», предназначенный для таких сценариев, как встречи
Заметки Талата по искусственному интеллекту хранятся прямо на вашем устройстве, а не в облаке Заметки Талата по искусственному интеллекту хранятся прямо на вашем устройстве, а не в облаке Granola — приложение для ведения заметок на базе искусственного интеллекта, оцениваемое в 250 миллионов долларов, — завоевало популярность среди основателей технологических компаний и венчурных инвест
Рекомендации по связанным специальным темам
письмо Лучшие программы для создания персонажей в жанре научной фантастики: генерация последовательных мотиваций персонажей и их роковых недостатков
Лучшие программы для создания персонажей в жанре научной фантастики: генерация последовательных мотиваций персонажей и их роковых недостатков

Откройте для себя 20 лучших инструментов 2026 года для создания персонажей с помощью искусственного интеллекта, которые помогут вам придать своим героям глубину. В тщательно подобранном списке XIX.AI представлены самые популярные и революционные инструменты, способные генерировать правдоподобные мотивации и роковые недостатки персонажей. Сравните бесплатные и платные варианты на основе реальных тестов. Раскройте свой потенциал в области создания историй уже сейчас.

10 инструментов
xix.ai
Бизнес Лучшее ПО для оптимизации цен с помощью ИИ: отслеживание конкурентов и автоматическая корректировка цен в магазине
Лучшее ПО для оптимизации цен с помощью ИИ: отслеживание конкурентов и автоматическая корректировка цен в магазине

Откройте для себя лучшее программное обеспечение 2026 года для оптимизации цен с помощью ИИ на сайте XIX.AI. В нашем тщательно подобранном списке представлены высокооцененные, революционные инструменты, которые отслеживают конкурентов и автоматически корректируют цены в вашем магазине для получения максимальной прибыли. Сравните бесплатные и платные варианты на основе реальных тестов. Получите преимущество в ценообразовании уже сейчас.

10 инструментов
xix.ai
код Лучшие системы проверки кода на основе ИИ: автоматизация обеспечения соответствия стандартам чистого кода и рефакторинг файлов в устаревших репозиториях
Лучшие системы проверки кода на основе ИИ: автоматизация обеспечения соответствия стандартам чистого кода и рефакторинг файлов в устаревших репозиториях

Откройте для себя 20 лучших рецензентов кода на базе ИИ 2026 года на XIX.AI. В нашем тщательно составленном списке представлены высокооцененные, революционные инструменты для автоматизации проверки соответствия стандартам чистого кода и рефакторинга файлов в устаревших репозиториях. Сравните бесплатные и платные варианты с помощью реальных тестов и еженедельно обновляемых рейтингов. Получите преимущество ИИ уже сегодня.

10 инструментов
xix.ai
Преобразование текста в речь Лучшие приложения с функцией преобразования текста в речь на базе ИИ для детей с дислексией: помощь в обучении и повышение эффективности чтения
Лучшие приложения с функцией преобразования текста в речь на базе ИИ для детей с дислексией: помощь в обучении и повышение эффективности чтения

Откройте для себя лучшие приложения с технологией TTS на базе искусственного интеллекта 2026 года, специально отобранные для помощи людям с дислексией. В нашем рейтинге экспертов сравниваются бесплатные и платные инструменты, а также освещаются мощные функции, способствующие повышению эффективности чтения и обучения. Откройте для себя революционные решения, которые обязательно стоит попробовать, чтобы раскрыть потенциал учащихся. Начните свое путешествие на XIX.AI.

10 инструментов
xix.ai
Создание комиксов Лучшие генераторы на базе ИИ для сёнэн-манги: создавайте динамичные сцены боевых действий и эффекты энергии
Лучшие генераторы на базе ИИ для сёнэн-манги: создавайте динамичные сцены боевых действий и эффекты энергии

Откройте для себя лучшие генераторы искусственного интеллекта для манги в стиле «сёнен» 2026 года на сайте XIX.AI. В нашем тщательно отобранном списке представлены мощные инструменты для создания динамичных сцен боевых действий и эффектных энергетических эффектов. Сравните бесплатные и платные варианты на основе реальных тестов. Раскройте свой творческий потенциал и начните создавать эпическую мангу уже сегодня!

15 инструментов
xix.ai
Бизнес Лучшие приложения для учета расходов на базе ИИ: сканируйте чеки и автоматически классифицируйте корпоративные расходы
Лучшие приложения для учета расходов на базе ИИ: сканируйте чеки и автоматически классифицируйте корпоративные расходы

Лучшие программы для учета расходов с ИИ 2026 года: самые популярные инструменты для сканирования чеков и автоматической классификации корпоративных расходов. Откройте для себя мощные, революционные решения для удобного управления расходами, точного финансового мониторинга и оптимизации соблюдения нормативных требований. Наш тщательно составленный и еженедельно обновляемый обзор бесплатных и платных вариантов поможет вам найти идеальный вариант. Воспользуйтесь преимуществами ИИ с помощью рекомендаций экспертов XIX.AI.

10 инструментов
xix.ai
Комментарии (0)
0/500
OR