Дайджест
BBC Health02:44Новый тест для диагностики опухолей мозга сокращает время ожидания результатовCoinDesk01:28Федеральная резервная система США продвигает законопроект GENIUS для стейблкоиновBitcoin.com News00:41Криптобиржа Bitget пострадала от хакерской атаки на сумму $351 млнNYT Business00:19Техногиганты встретятся с Трампом и Си на ужине в Белом домеDecrypt00:15Bitget подвергся хакерской атаке, потеряно $350 миллионовBeInCrypto23:58Криптобиржа Bitget подверглась хакерской атаке на сумму более $350 миллионовOilPrice22:00Италия возобновляет использование ядерной энергии после 40-летнего перерываNASA21:01NASA объявила победителей конкурса на системы питания для миссий на МарсThe Guardian Environment20:37Ожидается сильный Эль-Ниньо: последствия для человечестваGrist20:22ООН приняла первую декларацию о повышении уровня моря для защиты суверенитета островных государств

vestka

Anthropic Claude доказала Великую теорему Ферма с помощью ИИ

Компания Anthropic сообщила о том, что её модель искусственного интеллекта Claude успешно формализовала доказательство Великой теоремы Ферма. Данная теорема, выдвинутая Пьером де Ферма в 1637 году, оставалась недоказанной более 350 лет и является одной из самых известных проблем в математике.

Используя Claude, Anthropic смогла создать проверяемую на компьютере версию этого сложного доказательства. Это достижение подчеркивает возможности современных технологий в решении математических задач, которые ранее считались непосильными для человека.

Значимость данного события заключается в том, что оно открывает новые горизонты для применения искусственного интеллекта в научных исследованиях. Успех Claude может вдохновить другие компании и исследовательские группы на использование ИИ для решения сложных математических и научных задач, что может привести к новым открытиям и прорывам в различных областях.

Главное

  • Великая теорема Ферма оставалась недоказанной более 350 лет.
  • Доказательство было формализовано с помощью модели ИИ Claude от компании Anthropic.
  • Достижение подчеркивает возможности ИИ в решении сложных математических задач.

Упомянуто

Anthropic Claude

Персоны

Важное из дайджеста

  • Новый тест для диагностики опухолей мозга сокращает время ожидания результатов

    BBC Health · около 6 часов назад

    Разработан новый тест, который позволяет значительно сократить время диагностики опухолей мозга с недель до часов. Это нововведение поможет пациентам быстрее начать лечение и избежать длительного периода неопределенности.

  • Федеральная резервная система США продвигает законопроект GENIUS для стейблкоинов

    CoinDesk · около 8 часов назад

    Федеральная резервная система США начала работу над предложениями по внедрению закона GENIUS, касающегося стейблкоинов. Этот законопроект направлен на улучшение регулирования и контроля за цифровыми валютами, что может оказать значительное влияние на рынок.

  • Криптобиржа Bitget пострадала от хакерской атаки на сумму $351 млн

    Bitcoin.com News · около 8 часов назад

    Криптобиржа Bitget объявила о хакерской атаке, в результате которой было украдено около $351,6 миллиона. Основатель компании Грейси Чен сообщил о несанкционированных переводах из горячих и теплых кошельков, что привело к заморозке выводов средств.

  • Техногиганты встретятся с Трампом и Си на ужине в Белом доме

    NYT Business · около 9 часов назад

    В четверг вечером в Белом доме пройдет ужин с участием ведущих руководителей технологических компаний и высокопоставленных политиков, включая Дональда Трампа и Си Цзиньпина. Основные темы обсуждения будут касаться тарифов, торговли и возможного регулирования в области искусственного интеллекта.

  • Bitget подвергся хакерской атаке, потеряно $350 миллионов

    Decrypt · около 9 часов назад

    Криптовалютная биржа Bitget сообщила о хакерской атаке, в результате которой было украдено $350 миллионов из ее кошельков. Атака произошла в течение часа, когда злоумышленники получили доступ к горячим и холодным резервам биржи на нескольких блокчейнах.

  • Криптобиржа Bitget подверглась хакерской атаке на сумму более $350 миллионов

    BeInCrypto · около 9 часов назад

    Криптобиржа Bitget сообщила о хакерской атаке, в результате которой было украдено более $350 миллионов. Пользователи начали сообщать о проблемах с выводом средств, что привело к выявлению несанкционированных транзакций с активами биржи.

  • Италия возобновляет использование ядерной энергии после 40-летнего перерыва

    OilPrice · около 11 часов назад

    Италия приняла решение о возобновлении ядерной энергетики, получив одобрение Сената на запуск новых реакторов. Это решение стало возможным благодаря достижениям в области технологий и безопасности, которые изменили подход к ядерной энергетике.

  • NASA объявила победителей конкурса на системы питания для миссий на Марс

    NASA · около 12 часов назад

    NASA объявила о победителях конкурса Deep Space Food Challenge: Mars to Table, в рамках которого исследователи предложили инновационные решения для систем питания в космосе. Главный приз в размере 300,000 долларов был присуждён Чиниере Укедже за концепцию Adaptive Nourishment Infrastructure.

Открыть полный дайджест →