Математики поручили искусственному интеллекту проверку великой теоремы Ферма

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

В Лондоне собрались 25 экспертов из разных стран для работы над проектом Кевина Баззарда, пишет New Scientist. Ученый из Имперского колледжа запустил пятилетнюю программу по оцифровке доказательства Эндрю Уайлса еще два года назад.

Развитие технологий кардинально изменило скорость работы. «Я всегда был втайне уверен, что мы добьемся успеха.