Математики Хайфского Техниона используют ИИ-модель для поиска решений трудных проблем теории чисел
Ученые Хайфского Техниона разработали ИИ-модель, которая создает математические гипотезы. Ученые считают, что уже сегодня ИИ-модель может помочь в решении самых трудных проблем, которые стоят перед наукой сотни лет.
Работа опубликована в журнале PNAS.
Директор Лондонского института математики Томас Финк в своей колонке, которая была опубликована на сайте Nature еще до выхода новой работы израильских математиков, размышлял о влиянии ИИ на развитие математики. Финк приходит к выводу, что ИИ наиболее полезен не в том, на что многие надеялись: он еще долго не сможет оказывать математикам техническую помощь, то есть, строить корректные доказательства, но он почти быстро учится строить гипотезы и особенно плодотворно это делает в самой абстрактной области математики – теории чисел.
Финк пишет: "Несколько лет назад компьютерная программа под названием "Машина Рамануджана" предложила новые формулы для фундаментальных констант, таких как π и e. Некоторые из этих гипотез ИИ с тех пор были доказаны, а другие остаются открытыми проблемами".
"Машину Рамануджан" описали математики Техниона в 2021 году. Они на этом не остановились. Теперь вышла новая статья, которая во многом продолжает предыдущую работу.
Математики разработали новую концепцию поиска гипотез, которая вдохновлена физикой. Ученые рассмотрели так называемые консервативные матричные поля. Они похожи на обычное электромагнитное или гравитационное поле, но "двигаются" в этих полях не частицы, а гипотезы. С этими гипотезами работает модель ИИ, которая отыскивает наилучшие предположения среди огромного множества допустимых. Математики уже сейчас пытаются решить многие открытые проблемы, в том числе доказать иррациональность чисел Каталаны. Эта гипотеза была сформулирована в середине XIX века и до сих пор не решена. Другая важнейшая проблема, которой будет заниматься ИИ-модель, – это одна из самых знаменитых нерешенных задач математики – гипотеза Римана.
Ученые Техниона выкладывают полученные гипотезы на сайте "Машина Рамануджана" и предлагают всем желающим принять участие в их проверке и доказательстве.