AlphaProof
ИИ прорвался на Международную математическую олимпиаду: AlphaProof получила серебро — впервые в истории
Машина, которая сама ищет и правит свои ошибки.
Google решил переписать язык Вселенной. ИИ приступает к «косметическому ремонту» фундаментальной математики
Искусственный интеллект официально стал соавтором математических открытий.