Важной вехой в математических исследованиях с использованием ИИ стал пример команды компании Axiom Math, которая впервые автоматически проверила доказательство теоремы, касающейся простых чисел — в просторечии известной как «теорема 246» — с помощью собственной системы искусственного интеллекта AxiomProver.

При формальной проверке математики поручают компьютеру проверить машиночитаемую версию доказательства. Этот процесс не дает 100-процентной гарантии правильности доказательства, как показала недавняя демонстрация, в ходе которой было выявлено, что ошибка в методе может привести к ложному подтверждению доказательства, сгенерированного ИИ. Тем не менее, этот вычислительный метод максимально приближает к одобрение доказательства при помощи ИИ к реальности.

Это подтверждение формализует важный прорыв в теории чисел. Помимо этого конкретного доказательства, она демонстрирует, как автоматизированную проверку с помощью ИИ можно будет использовать в будущем для обеспечения корректности компьютерного кода, сгенерированного ИИ, который в скором времени станет основой программного обеспечения по всему миру.

Китай готовится к запуску одной из своих самых амбициозных миссий на сегодняшний день — и в ходе её реализации может одержать значительную победу. Миссия под названием «Чанъэ-7» ставит перед собой цель стать первой в истории, которая совершит посадку непосредственно на южном полюсе Луны, где она будет искать водяной лёд в тёмных, зловещих кратерах этого региона. То, что там будет обнаружено, может радикально изменить ход гонки между Китаем и США за создание баз на Луне.

«Это потрясающая миссия», — говорит Норберт Шоргхофер, старший научный сотрудник Института планетологии, проживающий на Гавайях. «До сих пор не было ни одной миссии с посадкой, целью которой было бы обнаружение воды [на Луне]». Если Китай успешно завершит эту миссию, он «станет лидером в области лунной науки», — добавляет Шоргхофер. Если не считать пилотируемых посадок «Аполлона», осуществлённых США более полувека назад, «в краткосрочной перспективе они превзойдут всех, включая Соединённые Штаты, в области исследования Луны».

Запуск «Чанъэ-7» — седьмой лунной миссии Китая — запланирован на ракете «Длинный марш-5» с прибрежного космодрома Вэньчан на острове Хайнань. В состав миссии входят орбитальный аппарат, а также посадочный модуль, на борту которого находятся луноход и новый «прыгающий» робот. Космическому аппарату потребуется до шести дней, чтобы выйти на лунную орбиту, где он затем проведёт два месяца, готовясь к посадке в ноябре, которая должна пройти практически в самую точку на южном полюсе Луны. В миссию также включено оборудование от нескольких международных партнёров, что подчёркивает растущее глобальное влияние Китая — как на Земле, так и за ее пределами.