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

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