← Back to context Comment by keybrd-intrrpt 6 days ago > the proof did not explain whySo humans do/did still have a role to play 5 comments keybrd-intrrpt Reply avadodin 6 days ago Something as simple as the FCT may have an alternative intuitive proof that humans can relate to.I do not think it is a given that humans or algorithms can find such a proof for any given problem. fhdkweig 4 days ago My layman understanding of Godel's Incompleteness Theorem is that you are correct. It states that there are things that are true but no proof can exist (providable by human or AI provers). Bimos 5 days ago Unless the existence of the reason is also proved. NetMageSCW 5 days ago Unless AI can explain why today. shiandow 5 days ago I mean, I guess we still need people for the AI to explain it to.
avadodin 6 days ago Something as simple as the FCT may have an alternative intuitive proof that humans can relate to.I do not think it is a given that humans or algorithms can find such a proof for any given problem. fhdkweig 4 days ago My layman understanding of Godel's Incompleteness Theorem is that you are correct. It states that there are things that are true but no proof can exist (providable by human or AI provers).
fhdkweig 4 days ago My layman understanding of Godel's Incompleteness Theorem is that you are correct. It states that there are things that are true but no proof can exist (providable by human or AI provers).
NetMageSCW 5 days ago Unless AI can explain why today. shiandow 5 days ago I mean, I guess we still need people for the AI to explain it to.
Something as simple as the FCT may have an alternative intuitive proof that humans can relate to.
I do not think it is a given that humans or algorithms can find such a proof for any given problem.
My layman understanding of Godel's Incompleteness Theorem is that you are correct. It states that there are things that are true but no proof can exist (providable by human or AI provers).
Unless the existence of the reason is also proved.
Unless AI can explain why today.
I mean, I guess we still need people for the AI to explain it to.