12
An amateur just solved a 60-year-old math problem—by asking AI
(www.scientificamerican.com)
See also !math@lemmy.world.
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.