☆ Yσɠƚԋσʂ ☆@lemmygrad.ml to Technology@lemmygrad.mlEnglish · 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-up111arrow-down13cross-posted to: math@mander.xyztechnology@lemmy.mlhackernews@lemmy.bestiver.se
arrow-up18arrow-down1external-linkAI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning.www.quantamagazine.org☆ Yσɠƚԋσʂ ☆@lemmygrad.ml to Technology@lemmygrad.mlEnglish · 4 months agomessage-square0linkfedilinkcross-posted to: math@mander.xyztechnology@lemmy.mlhackernews@lemmy.bestiver.se
