共 45 篇文章

标签:命题 第5页

国内首次实现AI自主解决数学开放问题

6日,记者从北京大学北京国际数学研究中心了解到,该中心董彬教授课题组与合作者组建的AI4Math团队用自主构建的自动化AI框架解决了交换代数中一个开放问题——安德森猜想,并在用于形式化验证数学定理正确性的编程语言和定理证明器——Lean中完成了约19000行的形式化验证。这是国内首次以AI框架攻克交换代数开放问题并实现大规模形式化验证,开辟了数学与AI深度融合的更多可能。

科技

算力扩张催生“算电协同”新命题 电力行业加快布局

“算力扩张催生‘算电协同’新命题。”中国电力企业联合会(下称“中电联”)党委书记、常务副理事长杨昆在谈及当前电力行业面临的新形势新挑战时表示,算力高能耗特性对电力系统提出更高要求,亟需通过绿色算力园区、源网荷储一体化等模式,推动“以电定算、以算促电”融合发展,筑牢数字时代的能源底座。

科技

商业头条网www.sycn.cn

商业头条网是专注于商业领域的综合性资讯平台,致力于为商务人士、投资者及行业从业者提供实时、权威、深度的商业资讯与分析。
通过整合全球商业动态、行业趋势及专业洞察,助力用户抢占先机,赋能商业决策。

关于我们联系我们