tl;dr: Terence Tao used AI coding agents to port two dozen old Java mathematical applets (from 1999) to JavaScript in a few hours, finding only one minor bug while the agent caught two pre-existing bugs in his original code. Encouraged by the results, he also "vibe-coded" new visualization tools he'd previously abandoned as too complex, including a Minkowski-space special relativity tool and a Gilbreath conjecture visualizer, and plans to include such interactive supplements with future papers.