AI独立解决三十年数学问题的变体,陶哲轩分享自动化研究经验
机器之心报道机器之心编辑部刚刚,Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来,近 30 年一直悬而未决证明该 …[详细]
-
美国将部分对华关税豁免期延长至2026年11月10日
当地时间11月26日,美国贸易代表办公室宣布,将把针对中国技术转让和知识产权问题、依据301条款调查所设立的关税的豁免延长至2026年11月10日。现有豁免条款原定于今年的11月29日到期。图为美国贸 ...
-
詹琪芳:提升科技教师跨学科能力
提升科技辅导员和科学教师科学素质,是做好科学教育加法的关键支撑。如何增强科技教师跨学科能力?上海市卢湾高级中学正高级教师詹琪芳对此分享观点。【纠错】 ...






