cm0002@lemy.lol to mathematics@mander.xyzEnglish · 3 days agoAn amateur just solved a 60-year-old math problem—by asking AIwww.scientificamerican.comexternal-linkmessage-square4fedilinkarrow-up112file-textcross-posted to: technology@lemmy.worldtechnology@piefed.social
arrow-up112external-linkAn amateur just solved a 60-year-old math problem—by asking AIwww.scientificamerican.comcm0002@lemy.lol to mathematics@mander.xyzEnglish · 3 days agomessage-square4fedilinkfile-textcross-posted to: technology@lemmy.worldtechnology@piefed.social
minus-squaretristynalxander@mander.xyzlinkfedilinkEnglisharrow-up2·3 days agoI was under the impression AI has been doing this for math for quire a while? I’m told Mathematicians complain about the proves being inelegant, even if technically correct.
I was under the impression AI has been doing this for math for quire a while? I’m told Mathematicians complain about the proves being inelegant, even if technically correct.