Shanghai AI Lab's Shusheng-S2 co-authors proof of decades-old chaos theory problem
cjami · reddit · 2026-10-17
Shusheng-S2, a large model from Shanghai AI Lab, worked with human researchers to develop a proof for a decades-old problem in chaos theory, with the human-AI team now reporting the result.
It's another notable AI-for-Science case where the model contributes to the mathematical derivation itself rather than just computation.
Related event: Shanghai AI Lab's Intern-S2 Helps Prove Decades-Old Chaos Theory Problem(3 posts)→
More from Research
- Work in progress: geometric structure of GPG projections as Markov chain coarsening — michaelchchoi · 2026-10-18
- Backprop-free pretraining gets 2.3x speedup as Noise method crushes Dust record on 8 GPUs — inductionheads · 2026-10-18
- q3dviewer: open-source Qt+OpenGL tool for painter-like point cloud editing — 4310sy · 2026-10-18
- Smarter Every Day's Destin to defend PhD dissertation on impact fusion — CatAstro_Piyush · 2026-10-18
- Brain implants are restoring speech to people with ALS, Science reports — EricMTrautmann · 2026-10-18
- Formal Verification of LLM-Generated Code: Slides from FATTW 2026 Talk — CatAstro_Piyush · 2026-10-18