ИИ решает 350-летнюю математическую задачу с самым длинным доказательством
ИИ компании Anthropic, по имени Claude, доказал Последнюю теорему Ферма всего за 11 дней, написав доказательство длиной в 13 миллионов строк — задача, которая озадачивала людей 358 лет.
Искусственный интеллект сделал за 11 дней то, что математики не могли завершить годами. Компания Anthropic (занимающаяся разработкой ИИ-систем) сообщает, что её ИИ по имени Claude создал самое длинное математическое доказательство в истории — и использовал его, чтобы наконец решить загадку, которая озадачивала экспертов 358 лет.
Загадка называется Последняя теорема Ферма. В 1637 году математик по имени Пьер де Ферма написал утверждение на полях книги, заявив, что у него есть
Отказ от ответственности: Данный контент носит исключительно информационный характер и не является финансовой рекомендацией. Всегда проводите собственное исследование перед принятием инвестиционных решений.