非洲小伙“寻楼记”：榫卯间读懂中国

相关文章

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

  综合

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

  2025-12-06 22:20【综合】

  阅读更多

• 特朗普：美特使与俄总统的会面“相当不错”

  综合

  △美国总统特朗普资料图）　　当地时间3日，美国总统特朗普就此前俄美就“和平协议”的会谈发表评论。特朗普表示，美国特使威特科夫和库什纳与俄罗斯总统普京的会面“相当不错”。　　不过关于这次俄美会谈的会议结 ...

  2025-12-06 22:16【综合】

  阅读更多

• 国台办回应赖清德提出1.25万亿新台币防务预算

  综合

  　　12月3日上午，国台办举行例行新闻发布会。记者：近日，赖清德在美媒投书宣称要投入1.25万亿元新台币作为防务特别预算，引发岛内各界哗然。岛内舆论抨击赖清德“在玩火”，认为台湾除了准备战争，其他民生 ...

  2025-12-06 21:52【综合】

  阅读更多