会员登录 - 用户注册 - 设为首页 - 加入收藏 - 网站地图

AI独立解决三十年数学问题的变体,陶哲轩分享自动化研究经验

机器之心报道机器之心编辑部刚刚,Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来,近 30 年一直悬而未决证明该 …[详细]

  • 清华大学与赛力斯共建电池创新技术联合研究中心

    清华大学与赛力斯共建电池创新技术联合研究中心

    IT之家 12 月 1 日消息,据赛力斯集团官方消息,11 月 28 日,清华大学-赛力斯汽车有限公司电池创新技术联合研究中心以下简称“联合研究中心”)揭牌仪式在清华大学举行。据IT之家了解,清华大学 ...

  • 午评:创业板指半日跌超1% AI应用方向逆势大涨

    午评:创业板指半日跌超1% AI应用方向逆势大涨

      来源:财联社  财联社11月22日电,市场临近午盘小幅跳水,三大指数均跌1%左右。高位人气股继续走强,粤桂股份10连板,日出东方、渤海化学等涨停。沪深两市半日成交额9491亿,较上个交易日缩量43 ...

推荐阅读

热门阅读