2020'lerin başında matematik sınavlarından geçer not almakta bile zorlanan yapay zeka sistemleri, bugün matematiğin onlarca yıldır çözülemeyen problemlerine yanıt üretebiliyor.