FWIW I was responding to the sarcastically expressed overt message that AI-math is a clear sign that AGI is here and anyone who disagrees is in denial. My poin

FWIW I was responding to the sarcastically expressed overt message that AI-math is a clear sign that AGI is here and anyone who disagrees is in denial. My point being that AI math is a narrow skill just like AI chess and implies nothing about generality (AGI). Sarcasm begats sarcasm.