“It’s also hardly the first time AI is helped with mathematics.”
Our reading, the sentence that was checked:
FunSearch is not the first time AI has helped with mathematics.
Assessment: Supported Evidence as of
Where and when Gary Marcus wrote it
Marcus on AI, Sorry, but FunSearch probably isn’t a milestone in scientific discovery, paragraph 16.
- Said
- Source observed
- live page, full text, public
- Evidence as of
- the cutoff for this assessment
- Assessment recorded
- assessment marcus-sorry-but-funsearch-probably-isnt-2a3cc5-a1
We recorded 7 claims from this post. See every claim from this post.
The wording above is the version this site observed on 2026-10-29. The source may have been edited after 2023-12-19. 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
- hardly the first time
- AI
- helped with mathematics
Our interpretation
- The grammatical slip is read as AI has helped with mathematics.
- AI includes machine learning generally; the claim is not restricted to LLMs.
- One documented mathematical contribution before FunSearch is sufficient to establish that it was not the first.
- The historical interval ends before FunSearch's December 14, 2023 publication and has no specified starting date.
Counts as supported if: A documented use of AI that contributed to mathematical research predates FunSearch.
Counts as contradicted if: The proposed predecessors do not involve AI contributing to mathematics, and credible historical evidence establishes FunSearch as the first such contribution.
Retrospective: these criteria were written after the outcome was public.
Current assessment
Was it true for the period described?
Outcome: Supported
The dated evidence matches what the claim committed to, under the criteria frozen before grading.
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
DeepMind documented AI helping research in representation theory in December 2021. This predates FunSearch and directly establishes that AI had already helped with mathematics.
Limitations
- This does not adjudicate the narrower claim that FunSearch was a first for LLM-based mathematical discovery.
- Identifying the earliest AI contribution is unnecessary to settle this claim.
Evidence (1 item)
Supports the claim: DeepMind,
used AI to help discover
Why it matters here: This firsthand report documents AI contributing to mathematical research two years before FunSearch. That is sufficient to establish the claimed predecessor.
- Publisher
- DeepMind
- Kind of source
- Company disclosure: the company describing itself, not an independent finding
- Describes events of
- Public from
Where it was said (1)
Said once in the sources this register covers.
: Marcus on AI, Sorry, but FunSearch probably isn’t a milestone in scientific discovery
It’s also hardly the first time AI is helped with mathematics.
- Where
- paragraph 16
- Published
- 2023-12-19
- Source observed
- , live page
- Access
- full text, public
History
Assessment versions
- Assessment marcus-sorry-but-funsearch-probably-isnt-2a3cc5-a1: Current. Outcome: Supported. 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-sorry-but-funsearch-probably-isnt-2a3cc5-a1.