Intern-S2 credited in math paper as post-trained Qwen 3.5-397B, sparking AI-for-math debate
teortaxesTex · x · 2026-10-15
A math paper's "Declaration of AI Use" reveals the author used an internal version of Intern-S2 through multiple rounds of dialogue to help develop the mathematical ideas, thanking Shanghai AI Lab (Bowen Zhou and the Intern team), while independently verifying all arguments. The core theorems were formalized in Lean by the Bin Dong–Ruochuan Liu team at Peking University using their open-source agent SHEAF.
teortaxesTex notes Intern-S2 is reportedly a post-trained Qwen 3.5-397B-A17B — likely a capable assistant LLM but nothing like OpenAI's end-to-end AI research, though valuable if it accelerates math.
Related event: Intern-S2 model completes proof of 3D Ghys conjecture(2 posts)→
More from Models
- GPT-6 partially solves NIST assembly board zero-shot for just $3.98 — DJiafei · 2026-10-15
- vLLM ships Day-0 support for Step 5 Preview, cuts sparse prefill latency 2.2% on B300 — vllm_project · 2026-10-15
- vLLM details Step 5 Preview's region-based sparse attention: score summaries, then attend — vllm_project · 2026-10-15
- vLLM announces Day-0 support for Step 5 Preview across Blackwell and Hopper — vllm_project · 2026-10-15
- Offline 3D Eiffel Tower test: Claude and Grok recall all 72 scientists' names from memory — ArtificialAnlys · 2026-10-15
- Your prompt may carry everything you've ever publicly written online, argues kromem — repligate · 2026-10-15