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

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

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

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

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

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

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

Большинство жизненных процессов работает на солнечном свете. Фотоны проникают сквозь атмосферу и с жадностью поглощаются организмами, использующими свет в качестве источника энергии, такими как растения и водоросли. В процессе фотосинтеза частицы света запускают клеточную реакцию, в результате которой вырабатывается химическая энергия (в виде сахаров), которая затем передаётся по пищевой цепи в сложной взаимосвязи между травоядными, хищниками, падальщиками, разлагающими организмами и другими участниками экосистемы.

В яркий солнечный день фотонов хватает с лихвой. Но что происходит при слабом освещении? Биологи давно интересуются тем, при каком минимальном количестве света может происходить фотосинтез — или какое количество фотонов с какой скоростью должно поступать, чтобы фотосинтетический аппарат клетки мог преобразовывать углекислый газ в кислород и энергию. Расчёты показали, что теоретический минимум составляет около 0,01 микромоля фотонов на квадратный метр в секунду, или менее одной стотысячной доли от освещённости солнечного дня.

На протяжении десятилетий этот расчёт оставался теоретическим из‑за сложностей, связанных с изучением фотосинтеза в условиях слабого освещения. Никто не мог подтвердить его в полевых условиях, хотя на Земле существует множество мест, куда свет едва доходит. Например, каждую зиму в Арктике на высоких широтах солнце, скрытое из‑за наклона оси Земли, исчезает на несколько месяцев. Метровые слои снега покрывают морской лёд и блокируют поступающий свет, оставляя ледяной океан внизу таким же тёмным, как пространство в гробнице. Биологи предполагали, что фотосинтезирующие микроводоросли, обитающие в воде и льду, на время сезона переходят в состояние покоя и ждут возвращения тепла и света.

В документальном фильме 2014 года «Alive Inside» 94-летний Генри, житель дома престарелых, страдающий деменцией, сидит, сгорбившись в инвалидном кресле, опустив голову и скрестив руки. Затем социальный работник надевает на Генри наушники и включает песню Кэба Кэллоуэя 1930-х годов — из его молодости.

Генри открывает глаза. Он поднимает голову, начинает покачиваться в такт музыке, а вскоре начинает петь и оживлённо рассказывать о своих воспоминаниях.

Учёные до сих пор пытаются объяснить такие моменты, как тот, что произошёл с Генри. Знакомая музыка иногда может пробуждать воспоминания и эмоциональные реакции у людей с деменцией, а ритмические звуковые сигналы могут улучшать некоторые аспекты ходьбы у некоторых людей с болезнью Паркинсона или перенёсших инсульт. Сейчас исследователи выходят за рамки общих наблюдений за тем, как музыка облегчает сложные состояния. Они пытаются определить, какие из её компонентов — ритм, темп, знакомость, мелодия или точно синхронизированные сенсорные импульсы — вызывают измеримые эффекты в мозге и теле.

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