☆ Yσɠƚԋσʂ ☆@lemmygrad.ml to Technology@lemmygrad.mlEnglish · 6 days agoAI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning.www.quantamagazine.orgexternal-linkmessage-square0fedilinkarrow-up111arrow-down13cross-posted to: [email protected]
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 · 6 days agomessage-square0fedilinkcross-posted to: [email protected]
