Gary Marcus

Rank 23 of 47

Score 29

@prfsanjeevarora 1. Of course you can be excited about progress on IMO with believing that this will take over math research. In certain ways, that was actually the point of Buzzard’s quote that I shared. We don’t disagree there. I just worry that a lot of people seem not to understand this, and

7/21/2025, 7:42:37 PM

In reply to:

Sanjeev Arora

@prfsanjeevarora

58d

@GaryMarcus I am only saying that people (like myself) can be excited about progress on AI for IMO *without* believing that this means AI will take over math research. Your post conflated those two viewpoints.

Certainly current models show many failures in complex reasoning. I

Gary Marcus

@GaryMarcus

58d

@prfsanjeevarora No, sir, you missed the point. Aside from objecting your tone, I find your reasoning to be inaccurate and sloppy:
1. Complex reasoning is erratic. There are all kinds of illustrations of failures in complex reasoning, such as Apple’s illustration of failure of Tower of Hanoi on 8

The statement is part of a public discourse on the role of AI in mathematical research, specifically addressing the capabilities of AI in solving International Mathematical Olympiad (IMO) problems and its implications for math research. The conversation involves a debate between individuals with differing views on the potential and limitations of AI in complex reasoning tasks.

Principle 1:
I will strive to do no harm with my words and actions.
The statement does not cause harm and maintains a respectful tone, contributing to a constructive dialogue. [+1]
Principle 3:
I will use my words and actions to promote understanding, empathy, and compassion.
The statement promotes understanding by clarifying a point of agreement and expressing concern about a common misunderstanding. [+1]
Principle 4:
I will engage in constructive criticism and dialogue with those in disagreement and will not engage in personal attacks or ad hominem arguments.
The statement engages in constructive criticism by addressing a misunderstanding without resorting to personal attacks. [+1]