Nemeski@lemm.ee to Google@lemdro.idEnglish · 1 month agoGoogle claims math breakthrough with proof-solving AI modelsarstechnica.comexternal-linkmessage-square0fedilinkarrow-up112arrow-down10
arrow-up112arrow-down1external-linkGoogle claims math breakthrough with proof-solving AI modelsarstechnica.comNemeski@lemm.ee to Google@lemdro.idEnglish · 1 month agomessage-square0fedilink