AI独立解决三十年数学问题的变体，陶哲轩分享自动化研究经验
机器之心报道机器之心编辑部刚刚，Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来，近 30 年一直悬而未决证明该
...
2026-01-08 16:21
2195
热门资讯
金融圈重磅！赵小凡、陶仲伟，同日被查！
【导读】中信保诚人寿原党委书记赵小凡、工银安盛人寿副总裁陶仲伟被查中国基金报记者 晨曦金融反腐的风吹到保险圈，两名保险干部同日被查！11月15日，中央纪委国家监委官网通报，中信保诚人寿保险有限公司原党
...
2026-01-08 15:56
2056
检察机关依法对龙飞涉嫌受贿案提起公诉
记者今天21日）从最高人民检察院获悉，中国南方电网有限责任公司原党组成员、纪检监察组组长龙飞涉嫌受贿一案，由国家监察委员会调查终结，经最高人民检察院依法指定，由山东省烟台市人民检察院审查起诉。近日
...
2026-01-08 15:48
1278
李彦宏：百度第六代无人车RT6每台成本已降至25万元
11月19日，在2024中国5G+工业互联网大会上，百度创始人、董事长兼首席执行官李彦宏发表主旨演讲称，通过检索增强技术的发展，过去24个月，人工智能大模型基本上消除了幻觉。基于此，大模型应用量猛涨。
...
2026-01-08 15:33
474
泽连斯基：乌美正筹备新一轮会谈
△乌克兰总统泽连斯基资料图） 当地时间12月3日，乌克兰总统泽连斯基在其晚间视频讲话中表示，乌方正积极筹备在美国与美总统特朗普代表的新一轮会谈。乌国家安全委员会秘书乌梅罗夫、总参谋长赫纳托夫等谈
...
2026-01-08 15:31
2213
商务部：加大对外贸企业的融资支持力度
来源：财联社 商务部印发促进外贸稳定增长若干政策措施的通知。加大对外贸企业的融资支持力度。中国进出口银行要加强外贸领域信贷投放，更好适应不同类型外贸企业融资需求。鼓励银行机构在认真做好贸易背景真
...
2026-01-08 14:39
2702
钟睒睒：我就是一个农民，我对农业是有情怀的
新华网财经观察|钟睒睒：我就是一个农民，我对农业是有情怀的 11月的江西赣州，脐橙挂满枝头。鲜少露面、一向低调的农夫山泉董事长钟睒睒在这里考察当地脐橙产业园。 提到钟睒睒，很多人会想到“神秘”
...
2026-01-08 14:31
1128
印度首枚高超导弹有些与众不同
来源：环球时报【环球时报特约记者 晨阳】印度17日宣布首次成功发射了一枚国产高超音速导弹，从而使其跻身于掌握这种先进技术的少数国家之列。尽管印度媒体为此一片欢呼，但现场照片和视频透露的细节，却让外界充
...
2026-01-08 14:25
872
马杜罗证实近日曾与特朗普通话
当地时间12月3日，委内瑞拉总统马杜罗在一场公开讲话中确认，约十天前，他已与美国总统特朗普进行电话通话，并形容交流“在相互尊重的氛围中进行”，显示双方有意开启对话渠道。 马杜罗表示，这次通话是相
...
2026-01-08 14:25
2561
证监会依法对和合期货有限公司实施接管
鉴于和合期货有限公司以下简称和合期货）公司治理混乱，管理失控且情节严重，为保护期货交易者合法权益，维护期货市场秩序，根据《期货和衍生品法》第七十四条第一款、《期货交易管理条例》第五十六条，以及《证券公
...
2026-01-08 14:11
1758