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