tgoop.com/MathModels/1035
Last Update:
Ученые Хайфского Техниона разработали ИИ-модель, которая создает математические гипотезы.
Математики разработали новую концепцию поиска гипотез, которая вдохновлена физикой. Ученые рассмотрели так называемые консервативные матричные поля. Они похожи на обычное электромагнитное или гравитационное поле, но "двигаются" в этих полях не частицы, а гипотезы. С этими гипотезами работает модель ИИ, которая отыскивает наилучшие предположения среди огромного множества допустимых.
Математики уже сейчас пытаются решить многие открытые проблемы, в том числе доказать иррациональность чисел Каталаны. Другая важнейшая проблема, которой будет заниматься ИИ-модель, – это одна из самых знаменитых нерешенных задач математики – гипотеза Римана.
Ученые Техниона выкладывают полученные гипотезы на сайте "Машина Рамануджана" и предлагают всем желающим принять участие в их проверке и доказательстве.
https://www.pnas.org/doi/10.1073/pnas.2321440121
На русском https://www.newsru.co.il/science_hitech/25jun2024/mathematics.html
BY Mathematical Models of the Real World
Share with your friend now:
tgoop.com/MathModels/1035