Искусственный интеллект создал новые математические гипотезы, нуждающиеся в доказательствах

Специалисты из Израильского технологического института Технион разработали новый алгоритм на базе искусственного интеллекта, способный строить различные математические гипотез из сферы теории чисел. По словам исследователей, ИИ уже разработал более 100 новых гипотез, которые теперь предстоит доказать математикам.

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

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

из материалов исследования.

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