Очередное математическое открытие. ИИ добрался до задачи, которую математики не могли решить 22 года.
Сделал это ДАЖЕ не математик, а врач-нейрохирург, который увлёкся матричным анализом. Он поставил ИИ работать над задачей — и модель построила доказательство, которое позже проверили специалисты.