Sorry, but FunSearch probably isn’t a milestone in scientific discovery
We recorded 7 claims from this post. 3 were checked against evidence. 4 can’t be checked. 1 more is held. Read the post at its source.
Claims from this post (7)
In the order they appear in the post. Each quotation is the speaker’s words in this post. A label such as “Supported” or “Can’t be checked” is the claim’s current assessment; its page has the evidence and the reasons.
Assessment: Can’t be checkedSaid
Recommendation or value judgment
“But then Google DeepMind’s PR team oversold the paper, claiming e.g., that they had “solved a notoriously hard challenge in computing” and ending with this exuberant but immensely speculative set of claims:”
Our reading: Google DeepMind's PR team oversold the FunSearch paper, ending with an exuberant but immensely speculative set of claims.
No horizon
Assessment: Can’t be checkedSaid
Forecast
“As clever as FunSearch is, it’s unlikely to be a major factor in solving cancer or making lightweight batteries.”
Our reading: FunSearch is unlikely to be a major factor in solving cancer or making lightweight batteries.
No horizon
Assessment: SupportedSaid
Observation
“Human mathematicians had to write problem-specific code for each separate mathematical problem.”
Our reading: FunSearch required human mathematicians to write problem-specific code for each separate problem.
No horizon Evidence as of
Limitation: The outcome depends on interpreting mathematicians as human task designers and separate problems as different task families.
Assessment: SupportedSaid
Observation
“There is no evidence that the problem was heretofore “unsolvable””
Our reading: There is no evidence that the problem FunSearch addressed was previously unsolvable.
No horizon Evidence as of
Limitation: Support is limited to the ordinary distinction between impossibility and an open problem.
Assessment: Can’t be checkedSaid
Recommendation or value judgment
““Going beyond human knowledge” is a bit oversold here.”
Our reading: The claim that FunSearch went 'beyond human knowledge' is a bit oversold.
No horizon
Qualifier: a bit
Assessment: Can’t be checkedSaid
Observation
“And the solution probably isn’t all that general.”
Our reading: The FunSearch solution probably isn't all that general.
No horizon
Qualifier: probably
Assessment: SupportedSaid
Observation
“It’s also hardly the first time AI is helped with mathematics.”
Our reading: FunSearch is not the first time AI has helped with mathematics.
No horizon Evidence as of
Limitation: This does not adjudicate the narrower claim that FunSearch was a first for LLM-based mathematical discovery.
Held from this post (1)
These records did not pass every check, so nothing about them is published. Held is not a finding.