“We still also (just as I argued in 2020) lack proper ways of building and inferring symbolic world/cognitive models on-the-fly.”
Our reading, the sentence that was checked:
AI still lacks proper ways to build and infer symbolic world models on the fly.
Assessment: Can’t be checked Evidence as of
Where and when Gary Marcus wrote it
Marcus on AI, How o3 and Grok 4 Accidentally Vindicated Neurosymbolic AI, paragraph 108.
- 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-8f3025-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)
From the speaker
- We still also
- lack proper ways
- of building and inferring symbolic world/cognitive models on-the-fly
Our interpretation
- Whether a method counts as 'proper' is the speaker's own value judgment. He gives no measure. Methods for building structured world or cognitive models on the fly did exist in mid-2025, for example cognitive-map generation in MindCube. So whether they count as 'proper' cannot be settled by evidence.
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
The statement is a recommendation, a value judgment, or too open to test. It is recorded, not scored.
- Evidence as of
- Deadline state when assessed
- No horizon
- Assessment recorded
- Policy version
- 2026-10-28.7
Rationale
The claim turns on the word 'proper', which is the speaker's own judgment and has no agreed measure. Methods for building structured world or cognitive models on the fly did exist in mid-2025. One example is a June 2025 method that trains models to draw a cognitive map before reasoning, which raised accuracy but stayed well short of perfect. Whether such methods count as 'proper' is a matter of opinion, so evidence cannot settle the claim either way.
Limitations
- A stricter reading, such as 'no method works reliably', might be checkable. But that would add a threshold the speaker did not give.
Evidence (1 item)
No outcome evidence: a claim of this kind is recorded and attributed, not scored.
What would settle it
A stated, testable standard for what counts as a proper method of building symbolic world models on the fly.
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
We still also (just as I argued in 2020) lack proper ways of building and inferring symbolic world/cognitive models on-the-fly.
- Where
- paragraph 108
- Published
- 2025-07-13
- Source observed
- , live page
- Access
- full text, public
History
Assessment versions
- Assessment marcus-how-o3-and-grok-4-accidentally-vindicated-8f3025-a1: Current. Outcome: Can’t be checked. 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-8f3025-a1.