Nemeski@lemm.ee to Google@lemdro.idEnglish · 1 month agoGoogle claims math breakthrough with proof-solving AI modelsarstechnica.comexternal-linkmessage-square0fedilinkarrow-up114arrow-down10cross-posted to: [email protected]
arrow-up114arrow-down1external-linkGoogle claims math breakthrough with proof-solving AI modelsarstechnica.comNemeski@lemm.ee to Google@lemdro.idEnglish · 1 month agomessage-square0fedilinkcross-posted to: [email protected]