Математику ждет революция

Эта дисциплина — идеальный полигон для ИИ.

Казалось бы, открытию в математике предшествует непредсказуемое озарение, но именно «озарению» может быстрее всего научиться ИИ.

Techinsider приводит перевод колонки Томас Финка.

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

В 2017 году исследователи из Лондонского института математических наук, директором которого я являюсь, начали применять машинное обучение к математическим данным в качестве хобби. Во время пандемии COVID-19 они обнаружили, что простые классификаторы искусственного интеллекта (ИИ) могут предсказать ранг эллиптической кривой — меру ее сложности. Эллиптические кривые имеют фундаментальное значение для теории чисел, и понимание лежащей в их основе статистики является решающим шагом на пути к решению одной из семи задач тысячелетия, которые выбраны Математическим институтом Клэя в Провиденсе, штат Род-Айленд, и предусматривают приз в размере 1 миллиона долларов США каждая. Мало кто ожидал, что ИИ сможет внести свой вклад в эту игру с высокими ставками.

ИИ проник и в другие области. Несколько лет назад компьютерная программа под названием «Машина Рамануджана» вывела новые формулы для фундаментальных констант, таких как π и e. ИИ сделал это путем исчерпывающего перебора семейств непрерывных дробей — дроби, знаменатель которой