2026-07-01 23:16 UTC
@tao@mathstodon.xyz My big conspiracy here is that AI labs have mathematicians solving new problems (and/or searching for solved problems with the hard-to-find solutions) and adding that data to the training data of the models.
I have neither proof nor doubt about this.
Replies (2)
-
@sergiosh@mathstodon.xyz 2026-07-12 15:20
This has aged like wine with the news about ChatGPT proving a conjecture on graph theory lol
-
@O@mathstodon.xyz 2026-07-02 11:09
@sergiosh@mathstodon.xyz @tao@mathstodon.xyz from now on this statement will be called the Iglesias-Tao Hypothesis (ITH). When and if provided with a formally verified proof, be renamed the Iglesias-Tao Lemma.