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