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

    机器之心报道机器之心编辑部刚刚,Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来,近 30 年一直悬而未决证明该
  • 十余项技术状态改进,“神箭”成功发射神舟十九号

      新京报讯记者张建林)10月30日4时27分,在酒泉卫星发射中心,由中国航天科技集团有限公司研制的长征二号F简称“长二F”)遥十九运载火箭托举神舟十九号载人飞船点火升空,随后将载有3名航天员的飞船精