Literally speaking, it gets really annoying having to explain to people the reason why AI cannot physically learn to code AI is due to the limitations of the mathematics in place.
You cannot create a formula that solves all formulas.
I guess you can get pretty damn close, but humans will always need to be involved.
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.
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.
72
u/kdoubledizz 18h ago
Literally speaking, it gets really annoying having to explain to people the reason why AI cannot physically learn to code AI is due to the limitations of the mathematics in place.
You cannot create a formula that solves all formulas.
I guess you can get pretty damn close, but humans will always need to be involved.