#上海AI实验室

8 stories · 1 in 7 days · 4 in 30 days
Stories, products and papers tagged "上海AI实验室", newest first.
Oct 17
Oct 16
ModelsBuildersSelected11:09
Intern-S2 Helps Resolve Ghys's Conjecture in Complex Dimension Three

A 30-year-old conjecture falling to a Chinese lab's model plus Lean verification shows AI moving from coding benchmarks into formal mathematics, where every step is machine-checked. Researchers in theorem proving and anyone tracking Chinese labs' frontier ambitions should follow the write-up. It also gives Lean-based formalisation workflows a high-profile proof point against informal LLM math claims.

InternLM 书生@intern_lmSource
Oct 7
Sep 24
Sep 16
Sep 14
ModelsChina to ASEANOfficialSelected17:23
Shanghai AI Lab ships Intern physical world model W0 for force-tactile robotics

This is a new AI model from a Chinese lab focused on force-tactile robotics, which could be relevant for those working in related fields or interested in the latest developments in physical world AI models.

官方一手pandaily@[email protected] (Pandaily)Source
May 28