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

    机器之心报道机器之心编辑部刚刚,Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来,近 30 年一直悬而未决证明该
  • 教育部原党组副书记、副部长杜玉波接受审查调查

      教育部原党组副书记、副部长杜玉波涉嫌严重违纪违法,目前正接受中央纪委国家监委纪律审查和监察调查。  总台央视记者 李本扬)  更多报道:打虎!杜玉波被查长安街知事)  据中央纪委国家监委网站18日