He is seemingly unbothered by the AI cartel centralization. He also wrote for MS... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

zldar 17 days ago | parent | context | favorite | on: Palomar: A registry of Lean verified mathematics

He is seemingly unbothered by the AI cartel centralization. He also wrote for MSFT's AI Anthology in 2023:

https://unlocked.microsoft.com/ai-anthology/terence-tao/

He clearly loves big industry, as unfortunately also too many software engineers do.

orochimaaru 17 days ago [–]

He is a fields medal winner who is looking to see how AI can further mathematics research. I’m unsure of what your specific issue with that is.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact