cm0002@lemdro.id to mathematics@mander.xyzEnglish · 3 days agoAI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning.www.quantamagazine.orgexternal-linkmessage-square1fedilinkarrow-up15cross-posted to: technology@lemmy.ml
arrow-up15external-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 · 3 days agomessage-square1fedilinkcross-posted to: technology@lemmy.ml
Calculators: