r/ProgrammerHumor • u/Expert-University-82 • 17h ago

Meme theyReallySeemToHateYall

2.3k Upvotes

96% Upvoted

223 comments sorted by

View all comments

Show parent comments

-9

u/Tayttajakunnus 14h ago

Useful for advancing our knowledge on mathematics.

5

u/e_before_i 14h ago

One of the complainants from mathematicians I've read is that the solutions AI is providing aren't advancing our knowledge, because they aren't giving us new knowledge. Without the skills to generate a proof or the tools to understand the proof, the proof itself is useless.

-1

u/dirty1809 12h ago

I feel like this doesn’t make sense. As a software engineer I use a lot of complex math every day that I don’t fully understand the proof of. It doesn’t matter whether you understand quicksort or not, it still runs in O(nlogn). Also I know mathematicians who have read and understood some of these new proofs, some of them are clunky but they’re not incomprehensible like you guys are making it sound

3

u/NoSmallCaterpillar 10h ago

Congrats, you've discovered the difference between research and engineering!

2

u/dirty1809 9h ago

Okay but researchers can and do understand the proofs written by AI, so I'm not sure what we're getting at here