Искусственный интеллект подтвердил доказательство Великой теоремы Ферма
В сентябре нейросеть Claude завершила формализацию доказательства Великой теоремы Ферма. На эту работу у ИИ ушло меньше двух недель. Французский математик Пьер Ферма сформулировал задачу в 1637 году: уравнение an + bn = cn не имеет решений в натуральных числах при любой степени n больше двух.
Доказательство теоремы представил англичанин Эндрю Уайлс в 1994 году. Тогда рецензенты проверяли его расчеты вручную в течение года. Инженеры из Anthropic применили нейросеть, чтобы перевести решение на специализированный язык программирования для автоматической верификации. Имперский колледж Лондона подтвердил, что компьютерная проверка прошла успешно.
Свежие материалы — Новости России
Более 80 украинских беспилотников уничтожено над Брянской областью
За прошедшие сутки над территорией Брянской области уничтожили более 80 украинских беспилотников. Ковальчук уточнил, что в отражении атак участвовали подразделения ПВО Министерства обороны, мобильные огневые группы бригады «БАРС-Брянск», сотрудники линейного отдела МВД на транспорте и бойцы рег
Российские войска пресекли попытку прорыва ВСУ из окружения в Харьковской области
Подразделения ВС РФ уничтожили группу украинских военных, которая пыталась выйти из окружения. Для скрытного маневра противник использовал неблагоприятные погодные условия, однако попытка прорыва оказалась безуспешной. В Харьковской области в кольце остаются около 1,7 тысячи военнослужащих
США решили не поддерживать Саудовскую Аравию в войне с хуситами
Официальные лица США встретились с лидерами хуситов в посольстве Омана, после чего Вашингтон решил не помогать Саудовской Аравии сдерживать наступление повстанцев в Йемене. Представители движения «Ансар Алла» заверили американскую сторону, что соглашение о прекращении огня от 2025 года остается в
Евросоюз увеличил импорт российского трикотажа до рекорда 2001 года
В июле 2024 года страны Евросоюза закупили в России вязаную одежду на 1,18 миллиона евро. Согласно данным Евростата, это самый высокий объем поставок с октября 2001 года, когда сумма экспорта составила 1,3 миллиона евро. Закупки резко выросли по сравнению с предыдущими периодами. В июне этого год
Организаторам мошеннических кол-центров грозит 12 лет тюрьмы и конфискация
Владимир Зеленский подписал закон, который вводит уголовную ответственность за работу мошеннических кол-центров. Создателям и руководителям таких организаций теперь грозит до 12 лет лишения свободы с конфискацией имущества. Документ под номером 10190 вносит изменения в Уголовный кодекс. В
Более 14 тысяч жителей Камчатки проголосовали досрочно
Избирательные комиссии Камчатского края завершили сбор голосов в отдаленных и труднодоступных местностях. Своим правом на выборах воспользовались 14 тысяч человек. Представители комиссий посетили метеостанции, маяки, кордоны заповедников и пограничные заставы. Участники голосования нашлись