Skip to content
Artwork for 中国AI、机器人与半导体简报
中国AI、机器人与半导体简报 · Yesterday · 19 min

中国AI·机器人·半导体·通信深度简报 2026-10-19

中国研究团队借助国产大模型“书生·科学多模态S2”,成功破解困扰数学界30余年的世界级难题“三维吉斯猜想”,并通过计算机完成了形式化验证。 上海市出台《新一代智能制造加速行动方案》,提出到2028年推动8000台人形机器人进工厂。 本节目由金京镇律师制作并提供。

0:00-19:13

transcript

No transcript — this publisher did not publish one.

show notes

中国研究团队借助国产大模型“书生·科学多模态S2”,成功破解困扰数学界30余年的世界级难题“三维吉斯猜想”,并通过计算机完成了形式化验证。 上海市出台《新一代智能制造加速行动方案》,提出到2028年推动8000台人形机器人进工厂。 本节目由金京镇律师制作并提供。