Mašīnmācīšanās attīstība pēc matemātikas konkursa panākumiem.
Mākslīgā intelekts turpina pārvarēt robežas neatkarīgi no vienkārša matemātisko problēmu risināšanas, jo inovatīvi modeļi iezīmē plašākas pielietojuma iespējas. Google DeepMind ir prezentējis AlphaProof un AlphaGeometry 2, demonstrējot AI sistēmu spējas formālajā matemātikas rezonēšanā. Šie attīstītie modeļi iespaidīgi risināja četrus no prestižā Olimpisko