minus-squaretristynalxander@mander.xyztomathematics@mander.xyz•An amateur just solved a 60-year-old math problem—by asking AIlinkfedilinkEnglisharrow-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. linkfedilink
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.