cm0002@lemdro.id to mathematics@mander.xyzEnglish · 4 months agoAI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning.www.quantamagazine.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10cross-posted to: technology@lemmygrad.mltechnology@lemmy.mlhackernews@lemmy.bestiver.se
arrow-up11arrow-down1external-linkAI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning.www.quantamagazine.orgcm0002@lemdro.id to mathematics@mander.xyzEnglish · 4 months agomessage-square0linkfedilinkcross-posted to: technology@lemmygrad.mltechnology@lemmy.mlhackernews@lemmy.bestiver.se
