Intern-S2 proves the 3D Ghys conjecture; said to be a post-trained Qwen 3.5-397B
teortaxesTex · x · 2026-10-15
A team led by visiting scholar Xu Disheng at the Shanghai AI Laboratory used the Intern-S2 model to complete a proof of the 3D Ghys conjecture.
teortaxesTex notes Intern-S2 is reportedly a post-trained Qwen 3.5-397B-A17B. The model card shows Intern-S2-397B is a multimodal foundation model for scientific intelligence and long-horizon agents, with a visual pre-training paradigm that learns from raw scientific literature pages and RL scaled across 20+ scientific domains. His take: a capable assistant LLM, not OpenAI-style end-to-end AI research, but valuable if it accelerates math.
Related event: Intern-S2 model completes proof of 3D Ghys conjecture(2 posts)→
More from Models
- Child-safety benchmark KORA spurs real gains: Mistral jumps from last to 10th of 42 — GregKamradt · 2026-10-15
- Gemini 4 Argon coding test: token-hungry and pricey, $20 plans no longer buy frontier models — bytebot · 2026-10-15
- VC claims GPT-6 Astra and Opus 5.5 will do for creative work what Opus 4.5 did for code — venturetwins · 2026-10-15
- Google says Gemini 4 Argon refactored 6M-line legacy Chromium code, killing a class of crashes — CatAstro_Piyush · 2026-10-15
- Power user reviews ChatGPT Dots: remote PC reboot surprise, cloud computer woes — koltregaskes · 2026-10-15
- Intern-S2 credited in math paper as post-trained Qwen 3.5-397B, sparking AI-for-math debate — teortaxesTex · 2026-10-15