|
|
|
|
|
|
by oersted
238 days ago
|
|
|
Terence Tao is well known for being enthusiastic about Lean and AI and he regularly posts about his experiments. He is also a serious research mathematician at the top of his game, considered by many one of the best mathematicians alive. This might be biased by the fact that he is such a good communicator, he is more visible than other similarly good mathematicians, but he is a Fields medallist all the same. |
|
|