Lijie Chen(@wjmzbmr1):This is incredible!!! My first paper in my PhD back in 2018 was on this problem (getting a 2^{logstar n} dim bound); since then, I have been thinking about it on and off for at least 7 years. It's really crazy how things turned out. Last month at OpenAI, our model disproved the famous unit distance conjecture, and the number-theoretic techniques are EXACTLY what you need to settle this furthest pair problem!!! I am so excited about the future of TCS and can't wait to see more open problems I care about being resolved by collaboration between AI and humans :)

Lijie Chen

@wjmzbmr1

Assistant professor at UC Berkeley EECS; reasoning at OpenAI Previously: Miller Postdoctoral Fellow at UC Berkeley, Ph.D. in MIT EECS

参加 January 2016

450 フォロー中 11.8K ファン

Lijie Chen@wjmzbmr1

2026.06.27 23:19

This is incredible!!! My first paper in my PhD back in 2018 was on this problem (getting a 2^{logstar n} dim bound); since then, I have been thinking about it on and off for at least 7 years. It's really crazy how things turned out. Last month at OpenAI, our model disproved the famous unit distance conjecture, and the number-theoretic techniques are EXACTLY what you need to settle this furthest pair problem!!! I am so excited about the future of TCS and can't wait to see more open problems I care about being resolved by collaboration between AI and humans :)

397

コミュニティへ転送

人気のあるユーザー