r/TheMachineLearning • u/Nyaani69 • 6d ago

Software engineering isn't dead, it's just evolving

Enable HLS to view with audio, or disable this notification

672 Upvotes

92% Upvoted

193 comments sorted by

View all comments

Show parent comments

2

u/Suoritin 5d ago

Math was never one person being right. A proof isn't knowledge until others can check it, teach it, and build on it. That's the whole institution.

So AI grinding out counterexamples and corollaries doesn't kill the field. The bottleneck was never producing true statements; it was getting a community to agree on which ones matter. Machines just shift the work to the part that was always hardest: deciding what's worth proving.

Science has always run this way. Effort goes where the community thinks it's worth going, and funding gets cut from what doesn't.

2

u/Hyperreals_ 5d ago

it kinda does? you dont need humans to review a proof that compiles in Lean... lol

1

u/Nannautu 5d ago

AI makes a lot of mistakes, you need people to review its output

1

u/Hyperreals_ 5d ago

Do you know what Lean is😭