Terence Tao - (one of the world's greatest mathematicians)

🔔 AI Assisted Breakthrough, this time from Terence Tao - (one of the world's greatest mathematicians) He had a chat with an AI to tackle a MathOverflow question about whether the least common multiple sequence is a subset of a certain set. While his theory suggested a negative answer, he needed specific numerical parameters for a counterexample. He first asked the AI for Python code to search for one, but ran into runtime issues and poor choices that complicated things. Switching gears, he opted for an interactive, step-by-step approach, letting the AI do some clever calculations to find viable parameters. This led to workable values, which he double-checked with a quick, easy-to-audit Python script that the AI helped generate. Thanks to the AI, he saved a ton of time, catching several math mistakes along the way and turning what could have been hours of coding and debugging into a much quicker process!