而“AI爱因斯坦”也正是AI for Science(注:科学智能,下文简称AI4S)的一个关键目标。科学智能在加速求解已知的物理方程中已经发挥重要作用,但是科学智能更需要结合已知知识规则与数据,既减少对数据对算力的严重依赖,提升推理预测的精准性,更可以根据数据来调整知识规则,提出崭新的科学理论。本案在首次执行程序中怠于采取执行措施,在处置担保房产未果的情况下,未及时处置股票等财产,未穷尽财产调查、处置等执行措施即终结本次执行程序。通过交叉执行,由上级法院督促执行的同时变更案件承办人。经交叉执行案件取得实质性进展,得到申请执行人认可。对案件原承办人依法追责,充分体现了交叉执行有利于加强执行监督,消除消极执行,规范执行行为的积极意义。详情