“In contrast, o3, when it draws on symbolic code (which it sometimes displays explicitly) can build crossword grids like this far faster than I could (short of my writing my own code).”
Our reading, the sentence that was checked:
When o3 draws on symbolic code, it can build crossword grids like this one far faster than Marcus could, short of writing his own code.
Assessment: Unresolved Evidence as of
Where and when Gary Marcus wrote it
Marcus on AI, How o3 and Grok 4 Accidentally Vindicated Neurosymbolic AI, paragraph 94.
- Said
- Source observed
- live page, full text, public
- Evidence as of
- the cutoff for this assessment
- Assessment recorded
- assessment marcus-how-o3-and-grok-4-accidentally-vindicated-00f9e3-a1
We recorded 36 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-07-13. This page does not claim the wording was captured then.
What the claim commits to
- Kind
- Observation
- 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
- when it draws on symbolic code (qualifier, stated by the speaker)
- crossword grids like this (scope, stated by the speaker)
From the speaker
- o3
- when it draws on symbolic code
- can build crossword grids like this
- far faster than I could
- short of my writing my own code
Our interpretation
- The displayed example defines a comparable task: constructing a valid five-by-five grid with words across and down.
- The claim compares o3's completion time with Marcus's own unaided-by-programming completion time. Other humans are not a substitute for his baseline.
- Far faster means a substantial, clear timing advantage; no particular ratio or minutes threshold is supplied.
- The target is the informal experiment described before publication. Its starting date is unknown, so the interval is left open at the start.
Counts as supported if: Documented comparable trials show code-enabled o3 producing valid grids substantially faster than Marcus constructs them without writing code.
Counts as contradicted if: Comparable trials show no substantial speed advantage for o3 after invalid outputs and necessary corrections are included.
Retrospective: these criteria were written after the outcome was public.
Current assessment
Was it true for the period described?
Outcome: Unresolved
The record was checked, and the evidence available by the cutoff does not settle it.
Scored on a plain reading. The speaker named no measure for this claim, so it was judged on the reading an informed reader would take, stated below under our interpretation. Both reviews had to find that reading fair.
- Evidence as of
- Deadline state when assessed
- No horizon
- Assessment recorded
- Policy version
- 2026-10-28.7
Rationale
The personal speed comparison is testable, but the searched records do not settle it. Showing that o3 can execute code or produce a valid grid would establish only part of the claim. The decisive missing evidence is a comparable timed record for Marcus and o3.
Limitations
- The informal experiment may have private records that are not publicly available.
- Absence of a public comparison is not evidence that Marcus's statement is false.
Evidence (0 items)
No evidence item settled this claim by the cutoff.
What would settle it
Contemporaneous timed logs or independently observed trials of the relevant o3 version and Marcus constructing comparable valid grids without writing code.
Where it was said (1)
Said once in the sources this register covers.
: Marcus on AI, How o3 and Grok 4 Accidentally Vindicated Neurosymbolic AI
In contrast, o3, when it draws on symbolic code (which it sometimes displays explicitly) can build crossword grids like this far faster than I could (short of my writing my own code).
- Where
- paragraph 94
- Published
- 2025-07-13
- Source observed
- , live page
- Access
- full text, public
History
Assessment versions
- Assessment marcus-how-o3-and-grok-4-accidentally-vindicated-00f9e3-a1: Current. Outcome: Unresolved. Evidence as of 2026-10-28. 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-how-o3-and-grok-4-accidentally-vindicated-00f9e3-a1.