搜索关键词 人工智能安全
AI & Enterprise
OpenAI内部模型Astra解出10个多年未决难题并公开可机器验证的形式化证明
OpenAI表示，旗下尚未公开的内部模型Astra已在数学、量子复杂性和理论计算机科学领域，针对10个悬而未决至少10年的问题给出新结果，并同步公开可机器验证的形式化证明。公司已在GitHub以Apache 2.0许可证开源249页论文草稿、模型推理过程及基于Lean 4的证明证书。不过，这些结果仍需学界进一步核验其是否准确对应原本的未决问题，以及其学术价值和影响。
AI & Enterprise
Sam Altman：认同韩国“全民AI”愿景，加大AI基础设施投入是关键
OpenAI首席执行官Sam Altman在旧金山举行的AI峰会上表示，认同韩国政府推动的“全民AI”愿景，并指出要实现这一目标，必须加大对AI基础设施的投入。其间，他与Lee Jae-myung总统举行单独会晤，并分别同SK、Samsung Electronics就HBM、DRAM及先进晶圆代工等合作交换意见。OpenAI也表示将进一步强化与韩国方面的战略合作。
AI & Enterprise
Xi Jinping提出扩大对发展中国家人工智能合作 反对过度扩大国家安全概念
Xi Jinping在上海世界人工智能大会上表示，各国应共同推进人工智能发展，支持发展中国家更好参与其中。中国将向发展中国家提供5000个人工智能培训和研讨名额，并推进同东盟、阿盟、非盟等区域组织合作；在安全治理方面，他强调人工智能必须安全、可控并始终处于人类控制之下，反对在这一领域过度扩大国家安全概念。
