12
submitted 1 month ago by cm0002@lemy.lol to c/math@mander.xyz
you are viewing a single comment's thread
view the rest of the comments
[-] tristynalxander@mander.xyz 2 points 1 month ago

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.

this post was submitted on 26 Apr 2026
12 points (100.0% liked)

mathematics

163 readers
11 users here now

See also !math@lemmy.world.

founded 2 years ago
MODERATORS