Google DeepMind решила открытые математические задачи с помощью AlphaProof Nexus

Подразделение Google DeepMind представило систему AlphaProof Nexus, которая успешно справилась с решением десятков сложных математических задач. Достижение подтверждено в ходе официального рецензируемого исследования, опубликованного в авторитетном научном журнале Science.

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

Публикация результатов в Science состоялась на фоне критики в адрес конкурентов. Ранее компания OpenAI подверглась бойкоту со стороны математического сообщества за массовую выгрузку непроверенных ИИ-доказательств в репозиторий GitHub без предварительного экспертного аудита.

Успех AlphaProof Nexus задает новый стандарт для применения нейросетей в академических исследованиях. Наличие независимого рецензирования снижает риски появления галлюцинаций и ошибок в фундаментальной науке.