RT @dotey: Something very interesting happened in the mathematics community recently. When world-renowned mathematician Terence Tao was solving a classic Erdős problem, he used AI as an assistant throughout the entire process—from drafting the proof to simplifying the proof and then to formal verification. Erdős…
Loading thread detail
Fetching the original tweets from X for a clean reading view.
Hang tight—this usually only takes a few seconds.

