descriptive claim
Some professors in London are attempting to use Bing to produce a proof of Fermat's Last Theorem.
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 know some professors in London are trying to using Bing to write the proof for Fermat's last theorem.”26:04Report a misattribution
0.90how strongly it was put, not whether it is true
0.70importance to the conversation
0.96confidence the claim was read correctly