opinion claim
The speaker thinks it is definitely possible to formalize a proof of Fermat's Last Theorem in Lean.
Unresolved speaker · ⚡️Math Olympiad gold medalist explains OpenAI and Google DeepMind IMO Gold Performances · 24 Jul 2025
In their words
The transcript segments this claim was taken from
“I would say”
“it's i think definitely possible um”
“like”26:34Report a misattribution
0.95how strongly it was put, not whether it is true
0.80importance to the conversation
0.85confidence the claim was read correctly