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

中国电建11月29日晚发布情况通报：针对媒体反映福建永安抽水蓄能电站施工过程中存在的质量等问题，中国电建高度重视，已成立调查组，将会同有关方面全面调查核实，依法依规处理。公司真诚感谢社会各界监督，相关 ...[详细]

　　中国地震台网正式测定：12月3日00时52分，在新疆阿克苏地区库车市北纬41.34度，东经83.76度）发生3.6级地震，震源深度11公里。　　总台央视记者 张腾飞） ...[详细]

近期，杭州觅睿科技股份有限公司下称“觅睿科技”）冲刺北交所IPO，保荐机构为国信证券。自2024年年底递交招股书至今，该公司已历经北交所三轮问询，其中收入真实性、外协加工等情况受到监管重点关注。据招股 ...[详细]

北京时间12月1日，在NBA常规赛中，洛杉矶湖人以133-121轻取新奥尔良鹈鹕。此役，里夫斯出战39分钟，14投9中，三分球7中4、罚球12中11砍下33分5篮板8助攻1抢断1盖帽。赛后，美媒统计了 ...[详细]

　　△乌克兰总统泽连斯基资料图）　　当地时间12月3日，乌克兰总统泽连斯基在其晚间视频讲话中表示，乌方正积极筹备在美国与美总统特朗普代表的新一轮会谈。乌国家安全委员会秘书乌梅罗夫、总参谋长赫纳托夫等谈 ...[详细]

12月1日消息，2025年，AI技术加速迭代，叠加政策引领作用，基于场景化适配模式下的应用层爆发，大批AI应用进入日常的生产生活。在AI+影像赛道，美图公司通过美图秀秀、美颜相机、Wink、美图设计室 ...[详细]

12月1日，字节跳动豆包团队发布豆包手机助手技术预览版。据了解，该产品是在豆包APP基础上，与手机厂商在操作系统层面合作的AI助手软件。据介绍，豆包手机助手基于豆包大模型能力，通过与手机厂商合作授权， ...[详细]

当经济进入调整周期，还天天想着房子会升值，这就是你的不对了。如果还看不出，狂飙时代已经彻底过去了，那更是一种后知后觉。撰文丨魏英杰楼市的事情，很多人都不关心了。其实就是那么一回事，多说无益。不过，前些 ...[详细]

来源：环球网【环球网报道 记者 索炎琦】“美国在阿布扎比举行俄乌秘密和谈。”路透社24日援引英国《金融时报》消息称，美国陆军部长德里斯科尔当地时间周一24日）抵达阿联酋首都阿布扎比，与俄罗斯代表团及乌 ...[详细]