AI & Enterprise

韩国科学技术信息通信部推动AI-RAN进入制造业场景 加快物理AI试点验证

韩国科学技术信息通信部宣布，把AI-RAN应用扩展至造船、石化和汽车制造等产业现场，推进物理AI服务试点验证。其中，KT联合体将在HD Hyundai Samho船厂验证AI焊接和喷涂机器人；SK Telecom联合体将在SK Incheon Petrochemical和KG Mobility工厂部署网络，测试四足机器人巡检和汽车自主转运服务。

AI & Enterprise

Cardano创始人Charles Hoskinson：AI数学证明能力进展超预期

Cardano（ADA）创始人Charles Hoskinson表示，AI在复杂数学证明生成及形式化验证方面的进展速度超出预期，并特别关注围绕纳维-斯托克斯方程的相关突破说法。与此同时，他提醒，研究人员若过度依赖集中式云端AI服务，研究数据和知识产权可能面临外泄风险，因此有必要建设私有AI环境。