Just because you can’t make a mathematical proof doesn’t mean you don’t understand the very simple truth of the statement.
If I can't prove it, I don't know how I can claim to understand it.
It's axiomatic that equality is symmetric. It's also axiomatic that 1+1=2. There is not a whole lot to understand. I have memorized that. Actually, having now thought about this for a bit, I think I can prove it.
What makes the difference between a human learning these things and an AI being trained for them?
I think if I could describe that, I might actually have solved the problem of strong AI.
Then how will you know the difference between strong AI and not-strong AI?
I don't think there's an agreed definition.
Strong AI or AGI, or whatever you will, is usually talked about in terms of intellectual ability. It's not quite clear why this would require consciousness. Some tasks are aided by or maybe even necessitate self-awareness; for example, chatbots. But it seems to me that you could leave out such tasks and still have something quite impressive.
Then, of course, there is no agreed definition of consciousness. Many will argue that the self-awareness of chatbots is not consciousness.
I would say most people take strong AI and similar to mean an artificial person, for which they take consciousness as a necessary ingredient. Of course, it is impossible to engineer an artificial person. It is like creating a technology to turn a peasant into a king. It is a category error. A less kind take could be that stochastic parrots string words together based on superficial patterns without any understanding.
Indeed, I do not see the relation between consciousness and reasoning in this example.
Self-awareness means the ability to distinguish self from other, which implies computing from sensory data what is oneself and what is not. That could be said to be a form of reasoning. But I do not see such a relation for the example.
By that standard, are all humans conscious?
FWIW, I asked GPT-4o mini via DDG.
I don't know if that means it understands. It's how I would have done it (yesterday, after looking up Peano Axioms in Wikipedia), and I don't know if I understand it.