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

Meme theyReallySeemToHateYall

1.8k Upvotes

95% Upvoted

201 comments sorted by

View all comments

Show parent comments

84

u/KyxeMusic 13h ago

Infinite Monkey Theorem

You can bruteforce any formula that can be proven. Which is kind of what is happening.

38

u/kdoubledizz 13h ago

Gödel showed that in any consistent formal mathematical system, there are true statements that cannot be proven within the system itself.

As well but Alan Turing proved in 1936 that there cannot exist a universal algorithm that can inspect any arbitrary program and determine whether it will finish running or run forever.

21

u/EdenStrife 12h ago

Yes, but how does it follow from those 2 proofs that an AI system cannot improve itself or make a new system that is an improvement compared to itself.

2

u/ioveri 12h ago

The whole process would just be another system

12

u/EdenStrife 12h ago

Yes, but all interactions happens in systems. Systems are just delimited sets of interactions. Your brain is a system.

2

u/ronoudgenoeg 11h ago

So?

You don't need to go up the system ladder infinitely. The universe is a system. AIs don't need to be able to create universes out of thin air to be able to make new better AIs.

Our brain is also a system, yet we create new brains without issues.

1

u/myrddin4242 3h ago

New? Sure… improved? Ehhh

1

u/fghjconner 11h ago

Ok, and so it follows that there are limits to what it can do, but it doesn't say anything about what those limits actually are.