AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验
机器之心报道机器之心编辑部刚刚，Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来，近 30 年一直悬而未决证明该 …[详细]
-
北大博士收割1000亿，人抓回来一年，钱没了
*此图由AI生成作者| 史大郎&猫哥来源| 是史大郎&大猫财经Pro被抓1年之后，和合系以及林强的案子，终于开庭了。3家和合系公司和包括创始人林强在内的8名高管，被控涉集资诈骗、非法吸 ...
-
湖北恩施一天然气管道因施工损坏爆燃，无人员伤亡
湖北恩施市应急管理局8月4日通报，8月4日20时40分，舞阳坝街道办事处学院路民康医院路段，因城区内涝治理工程施工，损坏天然气管道导致起火，消防救援人员接警后及时前往处置，于21时47分处置完毕， ...
