Lijie Chen
@wjmzbmr1
Assistant professor at UC Berkeley EECS; reasoning at OpenAI
Previously: Miller Postdoctoral Fellow at UC Berkeley, Ph.D. in MIT EECS
450 Following 11.8K Followers
This past week at OpenAI has been the most humbling experience of my life. We all feel the weight of what’s coming.
When I joined OpenAI earlier this year, I speculated that AI might write an Annals paper in 2027—and maybe, just maybe, solve a Millennium Prize Problem in 2028. That was considered very bullish at the time. The first happened in May; the second, this September.
What a surreal time to be alive!
Show more
10 proofs from our next major model Astra on long-standing open problems in mathematics and theoretical computer science (also including new circuit lower bounds for computing the permanent!)
GPT-5.6 has already enabled so much exciting work in math and science. Can’t wait to see what comes next!
Show more
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 :)
Show more
