cm0002@lemdro.id to mathematics@mander.xyzEnglish · 1 个月前AI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning.www.quantamagazine.orgexternal-linkmessage-square1linkfedilinkarrow-up15arrow-down12cross-posted to: technology@lemmy.ml
arrow-up13arrow-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 · 1 个月前message-square1linkfedilinkcross-posted to: technology@lemmy.ml
