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