🤖 Искусственный интеллект решил 350-летнюю математическую задачу

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