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

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

  • 中国药品价格登记系统上线

    中国药品价格登记系统上线

      2025年12月2日,中国药品价格登记系统上线。国内外医药企业可根据发展需要,自主申报登记药品价格。  借鉴国际做法,中国药品价格登记系统独立于各省级医药采购平台,为企业提供权威、规范、透明的市场 ...

  • 印度北方邦一医院发生火灾 至少10人死亡

    印度北方邦一医院发生火灾 至少10人死亡

      总台记者获悉,当地时间15日晚,印度北方邦一所医院发生火灾,造成至少10人死亡。总台记者 魏可枫) ...

刚刚,中美机器人爆发了一场论战

刚刚,中美机器人爆发了一场论战

一段"无加速、无遥控"的机器人视频,竟然让硅谷大佬坐不住了最近,一段来自中国初创公司的机器人视频在全球范围内引发了轩然大波。更有意思的是,这段视频不仅展示了令人惊艳的技术实力,还意外引发了一场跨越太平 ...

俞敏洪在南极旅游发全员信引争议,有新东方员工称“无法共情”

俞敏洪在南极旅游发全员信引争议,有新东方员工称“无法共情”

界面新闻记者 | 宋佳楠“老板在南极,员工在加班。”这是不少网友在看到俞敏洪的最新全员信后的第一反应。11月16日,新东方迎来32周年,创始人俞敏洪身处南极向全体员工发出一封全员信。信中提到,“此刻, ...

Vidu Q2生图功能上线:控制权进一步交给创作者

Vidu Q2生图功能上线:控制权进一步交给创作者

12月1日消息,Vidu推出升级后的Q2参考生图功能,并同步上线文生图与图像编辑功能,试图解决AI多模态创作中“创意”与“可控性”难以兼顾的长期难题。官方称,此次更新将创作的控制权进一步交还给创作者。 ...

哥伦比亚总统宣布恢复与委内瑞拉民用航空服务

哥伦比亚总统宣布恢复与委内瑞拉民用航空服务

  当地时间12月1日,哥伦比亚总统佩特罗宣布,恢复与委内瑞拉之间的民用航空服务。佩特罗说,美国无权关闭委内瑞拉领空,美国可以要求本国航空公司遵守其要求,但无权要求世界其他国家的航司。  由于美国联邦 ...

香港警方在宏盛阁再发现火灾遇难者遗体

香港警方在宏盛阁再发现火灾遇难者遗体

  据多家港媒报道,11月30日,香港警方灾难遇害者辨认组人员继续到宏福苑各大厦搜索,至接近中午时分再抬走遗体。消息称,遗体是在宏盛阁发现。  相关新闻  香港各界积极行动,帮助灾民渡过难关央视)   ...

推荐阅读

“实属罕见”!英媒爆:关键时刻,鲁比奥计划缺席北约外长会议

“实属罕见”!英媒爆:关键时刻,鲁比奥计划缺席北约外长会议

来源:环球网【环球网报道】据路透社11月29日援引两名美国官员消息称,美国国务卿鲁比奥计划缺席下周在比利时首都布鲁塞尔举行的北约外长会议。报道称,作为美国最高外交官,缺席这一关键跨大西洋会议的情况“实 ...

热门阅读

lwj7h.2k1qa.wpf5p.hdup.0n7ae.wp2s2.akem.dslgw.aln.laoying.sbs