Формальная верификация

刷新至186！苏炜杰独家解读：AI给出关键步骤，但尚无法逾越孪生素数猜想根本障碍—新闻—科学网

Новости науки в Китае

Со страниц China Science Daily

Лауреат премии Копса и исследователь OpenAI использовал ИИ для снижения верхней границы интервалов между простыми числами до 186, установив новый рекорд, но подчёркивает, что до доказательства гипотезы о простых числах-близнецах ещё далеко

Обновление до 186! Су Вэйцзе эксклюзивно разъясняет: ИИ предложил ключевой шаг, но пока не может преодолеть фундаментальное препятствие гипотезы о простых числах-близнецах

国内首次由AI自主解决数学开放问题并完成大规模形式化验证—新闻—科学网

Science and Technology Daily

Исследовательская группа Пекинского университета с помощью собственной системы с двумя ИИ-агентами решила гипотезу Андерсона в коммутативной алгебре и формально проверила доказательство, состоящее из 19 000 строк кода

Формальная верификация

ИИ автономно решил открытую математическую проблему и завершил крупномасштабную формальную верификацию