UIUC CS Ph.D. student, Distributed system researcher | competitive WOWS player | 🏳️⚧️ 椎间盘突出
.await
- Tweets 1,219
- Following 309
- Followers 269
- Likes 2,631
The arm race to brute force the results alienates the spirit of research. Contribution to human intelligence is what really matters.
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
2
274
Catoverflow retweeted
Celebrating the first first-author paper of @Cat_overflow and the first last-author paper of @xu_dong_sun with @Jinghao_J at Snoqualmie Pass.
6
1
49
4,032
Catoverflow retweeted
Tons of great perspectives from a systems professor 🥹
lots of great principles in systems research 💫 can be borrowed from and apply to ai agent systems - fault tolerance, recovery, formal methods, security etc
徐天音：系统，UIUC，教授，最佳论文，Agent Infra，云计算，形式化验证，容错，纯粹，好导师 piped.video/N0QfgZsDBv8?is=yn45… via @YouTube
6
18
99
16,775
Catoverflow retweeted
Taken from this. Its a great video, you should definitely watch it. piped.video/watch?v=4rsI6CUP…
1
1
11
2,287
- planned for the winter vacation
- found the ddl is just at the same time
- I have a plan now 💀
6
331
Catoverflow retweeted
Cathy Cai (@Cat_overflow) kicked off the @IllinoisCDS Systems Research Seminar this semester. She presented her work @MSFTResearch on Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity and the VBASE system. The work is published at #OSDI '23.
4
8
57
6,877
I must have a bug-trigging aura, everything I tried for the first time didn't work out of the box, including:
Insurance (only cover 1/3 of the prescript and the doc was not aware of that)
Insurance web (cannot login)
New mobile phone (tempered when arrived)
SIM card
5
6
765