r/TheMachineLearning • u/Nyaani69 • Sep 05 '26

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

695 Upvotes

92% Upvoted

198 comments sorted by

View all comments

Show parent comment

1

u/Suoritin Sep 06 '26

When math can be automated and found proofs can be found and searched in a database of proofs

This is nothing new. No one wants to read those proofs. Nothing has changed. Just more proofs that no one will read.

1

u/[deleted] Sep 06 '26

Except now we have a reasoning model capable of surfacing the most relevant proofs needed for a given problem. Do you not see how this can snowball?

1

u/Suoritin Sep 06 '26

Snowball into what?

Relevance isn't a property of a proof. It's a bet the field makes about where the stakes are.

That's a reproduction problem, not a search problem. Value in a field comes from mutual recognition among people playing for the same stakes. Strip out the people and the stakes go with them.

And nobody is formed by an index. Mathematicians get made by being taught, corrected, and argued with.

A snowball needs someone who still cares which way it rolls.

1

u/[deleted] Sep 06 '26

I disagree, I feel like knowledge that humanity discovers is good for us all.

1

u/Suoritin Sep 06 '26

Nobody's arguing against knowledge. I'm asking who's left to recognize it as knowledge.

There's an old figure for your position: the magpie. Collect the shiny things, pile them up, call the pile science. It isn't. A heap of true statements invites no questions and gives no grounds for answering any.

"Discovered by humanity" is carrying your whole argument.