“This seems too strong to us, because the system is actually sidestepping a critical part of IMO challenges: understanding the English statement of the problems; by preconverting each problem into formal notation, there is a sense in which DeepMind has given their system an unfair start, and not grappled with something essential.”
Our reading, the sentence that was checked:
DeepMind's 'gold-medalist performance' claim seems too strong to the authors, because preconverting each problem into formal notation means the system sidesteps understanding the English problem statements, which in a sense gives it an unfair start.
Assessment: Can’t be checked Not checked against evidence
Where and when Gary Marcus wrote it
Marcus on AI, AlphaGeometry2: Impressive accomplishment, but still a long path ahead, paragraph 27.
- Said
- Source observed
- live page, full text, public
- Evidence
- Not checkedboth screens found it cannot be checked
- Assessment recorded
- assessment marcus-alphageometry2-impressive-accomplishment-c32be7-a1
We recorded 11 claims from this post. See every claim from this post.
The wording above is the version this site observed on 2026-10-28. The source may have been edited after 2025-02-17. This page does not claim the wording was captured then.
What the claim commits to
- Kind
- Recommendation or value judgment
- Deadline, as the speaker wrote it
- None stated. This site does not add one.
- Deadline state when assessed
- No horizon
- Deadline state on 2026-10-29
- No horizon (the release’s reference date)
Conditions
- seems too strong to us (qualifier, stated by the speaker)
- there is a sense in which (qualifier, stated by the speaker)
From the speaker
- seems too strong to us
- there is a sense in which
Our interpretation
None added.
This claim is not graded on evidence. The record checks that the words are quoted correctly and attributed to the right person, and that the claim is classified correctly.
Current assessment
Not graded on evidence
Outcome: Can’t be checked
Both AI providers screened this claim on their own and found that public evidence could not settle it. It is recorded and attributed, not scored.
Why it can’t be checked
Both screens gave the same reason:
- A recommendation or a value judgment.
- Evidence
- Not checked
- Deadline state when assessed
- No horizon
- Assessment recorded
- Policy version
- 2026-10-28.7
Rationale
Not checked against evidence. Two independent screens, one from each provider, both found this a recommendation or a value judgment.
Limitations
None recorded.
Evidence (0 items)
No evidence was searched for. Both screens found that public evidence could not settle this claim.
Where it was said (1)
Said once in the sources this register covers.
: Marcus on AI, AlphaGeometry2: Impressive accomplishment, but still a long path ahead
This seems too strong to us, because the system is actually sidestepping a critical part of IMO challenges: understanding the English statement of the problems; by preconverting each problem into formal notation, there is a sense in which DeepMind has given their system an unfair start, and not grappled with something essential.
- Where
- paragraph 27
- Published
- 2025-02-17
- Source observed
- , live page
- Access
- full text, public
History
Assessment versions
- Assessment marcus-alphageometry2-impressive-accomplishment-c32be7-a1: Current. Outcome: Can’t be checked. Not checked against evidence. Public date not recorded.
Recorded events
Assessment publishedBy this site
First assessment published after both reviews and the final-text check passed.
About assessment marcus-alphageometry2-impressive-accomplishment-c32be7-a1.