Математик из США объяснила, может ли нейросеть выиграть в лотерею

В начале сентября нейросеть решила одну из старейших математических задач. Французский математик Пьер де Ферма в 1637 году выдвинул предположение, что теорема Пифагора о сумме квадратов двух чисел равной квадрату третьего верна только для второй степени: для любой степени, выраженной натуральным числом больше двух, уравнение, где сумма двух натуральных чисел в этой степени равна третьему, не имеет решений. Доказательство теоремы нашел в 1994 году англичанин Эндрю Уайлс, рецензенты заверяли его вручную целый год. Компания Anthropic сообщила, что модель искусственного интеллекта Claude менее чем за две недели проверила и формализовала доказательство Великой теоремы Ферма с помощью языка программирования. Имперский колледж Лондона подтвердил компьютерную проверку.