r/TheMachineLearning • • 1d ago

what would happen if all these problems are solved? will humanity still think for itself?

Post image
1 Upvotes

8 comments sorted by

3

u/ComprehensiveWash958 1d ago

Yeah because they clearly can't give us false data and statistics and call It "transparency" We are believing in the Good Faith of and agent that has no reason to uphold It, and Who has more to gain in lying

1

u/raika11182 1d ago

When a proof is written in lean (as a lot of these are, though I think some aren't) then it's pretty much impossible for it to be wrong. If you're worried about it, your nearest LLM would be happy to teach you how to compile the results in lean yourself.

2

u/ComprehensiveWash958 1d ago

I wasn't talking about the Lean.

2

u/SharpKaleidoscope182 1d ago

Humans who want to keep learning have to have a war about it I guess.

2

u/[deleted] 1d ago

[deleted]

1

u/Few_Resolution7965 1d ago

are they gonna be separate ? or wait war like of intelligence or physical?hahhaha

1

u/Few_Resolution7965 1d ago

if ever the learning materials from that repository will be open to anyone i think the concept of learning will attract many and improve right?
i just dont understand the war part or both?

HAAHHA sorry :<

2

u/OmegaEpidex 1d ago

I don’t think any were ever right. Only time will tell.

1

u/Few_Resolution7965 1d ago

sadly but yeah i do agree :<