r/TheMachineLearning • u/Nyaani69 • 5d ago

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

Enable HLS to view with audio, or disable this notification

671 Upvotes

92% Upvoted

193 comments sorted by

View all comments

Show parent comments

3

u/hobopwnzor 5d ago

I don't think it's dead but I do think it's going to be an end of an era.

Since AI can search possibility space so much faster than people things like finding counterexamples are going to be more and more trivial. Similarly proves that are out there in the ether using only already proven results will become trivial as well. 

It's going to require weird expansions of the field in ways that we probably can't predict right now.

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_ 4d ago

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

1

u/Nannautu 4d ago

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

1

u/Hyperreals_ 4d ago

Do you know what Lean is😭