cm0002@lemy.lol to mathematics@mander.xyzEnglish · 4 days agoAn amateur just solved a 60-year-old math problem—by asking AIwww.scientificamerican.comexternal-linkmessage-square4linkfedilinkarrow-up110arrow-down15file-text
arrow-up15arrow-down1external-linkAn amateur just solved a 60-year-old math problem—by asking AIwww.scientificamerican.comcm0002@lemy.lol to mathematics@mander.xyzEnglish · 4 days agomessage-square4linkfedilinkfile-text
minus-squaretristynalxander@mander.xyzlinkfedilinkEnglisharrow-up1·4 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.