Terence Tao: ako som použil AI coding agentov na matematickú vizualizáciu

Čo sa stalo

Terence Tao, jeden z najvýznamnejších matematikov sveta, publikoval blogový príspevok o svojich skúsenostiach s modernými AI coding agentmi pri tvorbe interaktívnych matematických aplikácií. Opisuje, ktoré nástroje použil (pravdepodobne Claude Code alebo Cursor), čo zvládli dobre a kde narazil na limity.

Zaujímavé postrehy

• AI agenti dokázali rýchlo vytvoriť základné vizualizácie na základe matematického opisu
• Problémy nastali pri komplexnej matematickej logike, kde si agent "vymýšľal" kroky
• Tao zdôrazňuje, že matematická verifikácia stále vyžaduje ľudskú expertízu

Prečo na tom záleží

Keď svetovo uznávaný matematik experimentuje s AI coding agentmi, ide o signál o zrelosti týchto nástrojov. Aj pre matematickú komunitu.