
138年调味品龙头外聘掌门邢军:能给李锦记酱料业务带来哪些确定性增量?
3月30日,李锦记集团发布的高层人事公告,在调味品行业引发持续关注。这家拥有138年历史的中式调味品龙头,将核心酱料业务的董事会主席之位,交到了非家族成员邢军博士手中。

3月30日,李锦记集团发布的高层人事公告,在调味品行业引发持续关注。这家拥有138年历史的中式调味品龙头,将核心酱料业务的董事会主席之位,交到了非家族成员邢军博士手中。
6日,记者从北京大学北京国际数学研究中心了解到,该中心董彬教授课题组与合作者组建的AI4Math团队用自主构建的自动化AI框架解决了交换代数中一个开放问题——安德森猜想,并在用于形式化验证数学定理正确性的编程语言和定理证明器——Lean中完成了约19000行的形式化验证。这是国内首次以AI框架攻克交换代数开放问题并实现大规模形式化验证,开辟了数学与AI深度融合的更多可能。
“算力扩张催生‘算电协同’新命题。”中国电力企业联合会(下称“中电联”)党委书记、常务副理事长杨昆在谈及当前电力行业面临的新形势新挑战时表示,算力高能耗特性对电力系统提出更高要求,亟需通过绿色算力园区、源网荷储一体化等模式,推动“以电定算、以算促电”融合发展,筑牢数字时代的能源底座。
人民网北京3月14日电 (记者栗翘楚)今年5月1日,两项智能家电国家标准将正式实施。它们共同回答一个核心命题:什么是真正的智能?