Искусственный интеллект подтвердил доказательство Великой теоремы Ферма
В сентябре нейросеть Claude завершила формализацию доказательства Великой теоремы Ферма. На эту работу у ИИ ушло меньше двух недель. Французский математик Пьер Ферма сформулировал задачу в 1637 году: уравнение an + bn = cn не имеет решений в натуральных числах при любой степени n больше двух.
Доказательство теоремы представил англичанин Эндрю Уайлс в 1994 году. Тогда рецензенты проверяли его расчеты вручную в течение года. Инженеры из Anthropic применили нейросеть, чтобы перевести решение на специализированный язык программирования для автоматической верификации. Имперский колледж Лондона подтвердил, что компьютерная проверка прошла успешно.
Свежие материалы — Новости России
Более 14 тысяч жителей Камчатки проголосовали досрочно
Избирательные комиссии Камчатского края завершили сбор голосов в отдаленных и труднодоступных местностях. Своим правом на выборах воспользовались 14 тысяч человек. Представители комиссий посетили метеостанции, маяки, кордоны заповедников и пограничные заставы. Участники голосования нашлись
В Братске ликвидировали пять медведей, выходивших к жилым районам
С начала недели в Братске ликвидировали пять медведей. Четыре хищника бродили вблизи садоводств, еще одного обнаружили около городского кафе «Фараон». Мэр Александр Дубровин сообщил, что оперативные группы контролируют ситуацию ежедневно. В городе действует режим повышенной готовности из-за
Ступень ракеты Falcon 9 оставила 18-метровый кратер на Луне
Орбитальный зонд NASA Lunar Reconnaissance Orbiter (LRO) обнаружил новый кратер на поверхности Луны. Воронка шириной около 18 метров и глубиной менее 3 метров появилась после столкновения с Луной отработанной ступени ракеты Falcon 9 компании SpaceX. На полученных снимках отчетливо видны т
Минувшей ночью ПВО сбила 641 беспилотник
За прошедшую ночь российские дежурные средства ПВО перехватили и уничтожили 641 украинский беспилотник самолетного типа. Аппараты сбили над территориями Астраханской, Белгородской, Брянской, Владимирской, Воронежской, Калужской, Костромской, Курской, Липецкой, Нижегородской, Орловской, Ростовск
Уте Никлас стала первой женщиной-командиром фрегата в ВМС Германии
В Вильгельмсхафене прошла церемония смены командования фрегатом «Рейнланд-Пфальц». Корабль возглавила фрегаттен-капитан Уте Никлас. Она стала первой женщиной в истории военно-морских сил Германии, занявшей подобный пост. Прежний командир Бенедикт Айххорн официально передал Никлас полномоч
Военный советник Трампа призвал готовиться к войне на окололунной орбите
Главный военный советник Дональда Трампа генерал Дэн Кейн заявил, что американские войска должны быть готовы к ведению боевых действий в окололунном пространстве. Это заявление прозвучало на саммите в Вашингтоне вскоре после сообщений о размещении американского оружия на орбите. Кейн,