Claude полностью формализовал Великую теорему Ферма — и сделал это самостоятельно всего за 11 дней 😳

Компания Anthropic утверждает, что это первое полное доказательство теоремы, которое было полностью проверено с помощью компьютера. Доказательство Великой теоремы Ферма было получено ещё в 1995 году математиком Эндрю Уайлсом, но до сих пор его не удавалось проверить на компьютере до… этого момента.

Десятки агентов Claude переписали доказательство на языке Lean, создав 13 миллионов строк кода и использовав 6 миллиардов токенов за 11 дней. При этом люди вмешивались лишь время от времени, предоставляя агентам общие указания. Кевин Баззард, который с 2024 года возглавляет многолетнюю формализацию теоремы Ферма, назвал достижение Claude «исключительным успехом».

Доказательство уже выложено на GitHub.

🎁 Подписывайтесь на @intnetspace и участвуйте в еженедельных розыгрышах призов! 🔥 Все условия участия — в @ztxgift

OpenAI: мы представили AGI
GPT-6 Astra: как пройти вашу GTA?

Программист подключил новую GPT-6 Astra к GTA: Vice City и поручил ей выполнить задание с вертолётом. Искусственный интеллект самостоятельно управлял процессом игры и даже ставил её на паузу, чтобы обдумать ситуацию — но завершил лишь четверть задания.

Основной тест на AGI был разработан ещё в 2002 году.

🎁 Подписывайтесь на @intnetspace и участвуйте в еженедельных розыгрышах призов! 🔥 Все условия участия — в @ztxgift

Теперь ChatGPT может адаптироваться к стилю письма пользователя: в настройках чат-бота добавлена функция, позволяющая копировать индивидуальный стиль.

Эта опция активируется в разделе персонализации — пункт «основываться на моем стиле письма» находится в самом низу. Пользователь может продемонстрировать боту примеры своих электронных писем, сообщений в Slack и текстов на Google Диске.

На данный момент функция находится на этапе внедрения и может стать доступной не сразу.

🎁 Подписывайтесь на @intnetspace и участвуйте в еженедельных розыгрышах призов! 🔥 Все условия участия — в @ztxgift

Карту мира ОБНОВЯТ впервые за 477 лет — ООН приняла решение отказаться от карты Меркатора, поскольку она искажает истинные размеры континентов

Для справки: известную карту разработал фламандский картограф Меркатор в 1549 году, и уже тогда она была составлена с ошибками — чем дальше от экватора располагается территория, тем больше искажается ее размер в сторону увеличения.

Например, по проекции Меркатора Гренландия выглядит больше Африки, хотя на самом деле она меньше в 14 раз.

🎁 Подписывайтесь на @intnetspace и участвуйте в еженедельных розыгрышах призов! 🔥 Все условия участия — в @ztxgift