This is an automated archive.
The original was posted on /r/singularity by /u/Izzhov on 2024-01-11 18:52:29+00:00.
I posed this question to GPT-4 today:
"Let A and B be two real numbers with A < B. Let C be the largest power of 10 that is less than or equal to B – A. Let A’ be the largest multiple of C that is less than or equal to A, and B’ be the largest multiple of C that is greater than or equal to B. What is the maximum possible value of (B’ – A’)/C?"
It could not for the life of it give me the correct answer, no matter how many times I kept pointing out the flaws in its logic. What's your "simple math proof AGI" prediction? What do you think is currently missing from GPT-4 that it needs in order to be able to solve these kinds of problems? Once we get "simple math proof AGI," how far do you think we'll be from bona fide AGI?