cm0002@lemy.lol to mathematics@mander.xyzEnglish · 1 month agoAn amateur just solved a 60-year-old math problem—by asking AIwww.scientificamerican.comexternal-linkmessage-square4fedilinkarrow-up113file-textcross-posted to: technology@lemmy.worldtechnology@piefed.social
arrow-up113external-linkAn amateur just solved a 60-year-old math problem—by asking AIwww.scientificamerican.comcm0002@lemy.lol to mathematics@mander.xyzEnglish · 1 month agomessage-square4fedilinkfile-textcross-posted to: technology@lemmy.worldtechnology@piefed.social
minus-squaretristynalxander@mander.xyzlinkfedilinkEnglisharrow-up2·1 month 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.