[That Time Terence Tao Won $500 From Paul Erdős](https://blogs.ams.org/blogonmathblogs/2015/09/29/that-time-terrence-tao-won-500-from-paul-erdos/).

south_korea_ln

Erdos Problem #397 was accepted by Terence Tao

There is something beautiful in Terence being the one 

science

tech

3 Erdos problems solved within a week by GPT 5.2 Pro

zuspotirko

> Erdos Problem #397 was accepted by Terence Tao

![](https://m.stacker.news/125688)

There is something beautiful in Terence being the one _accepting_ the solution to one of these problems.

I guess he used Lean to check it?