8月8日消息，今日凌晨，在OpenAI正式发布最新大型人工智能模型GPT-5的同时，该公司现有主力模型o3在谷歌旗下Kaggle平台主办的“棋局竞技场”决赛中，以压倒性的4-0战绩战胜xAI的Grok 4。

特朗普准备与普京、泽连斯基举行一次三方会晤，只有三位总统而没有任何其他人，会晤的“可能性很大”，媒体报道称普京在跟维特科夫会谈的时候率先提出想跟特朗普举行会晤，特朗普在讲话中对此给出了积极回应，可能的会谈地点包括瑞士和卡塔尔； ...

第三节｜AI 不会停，但谁敢重新开始？ 卡斯帕罗夫在采访中回忆了自己职业生涯中最关键的一局棋。那是 1987 年，在塞维利亚，面对老对手阿纳托利·卡尔波夫 (Anatoly Karpov)。他刚刚在前一局输掉比赛，如果再输，就会失去世界冠军。

（国际象棋传奇卡斯帕罗夫，最新AI观点分享） 1997 年 5 月 11 日，仅用 19 步，IBM 的“深蓝” (Deep Blue)击败了世界冠军加里·卡斯帕罗夫 (Garry Kasparov ...

灵巧手的发展可以追溯到20世纪60年代，当时工业机器人手臂被用于执行简单的抓取任务，但其灵活性较差，功能有限。20世纪80年代，多自由度、多指设计的灵巧手开始出现，这标志着灵巧手的初步成形。这一时期，犹他大学和麻省理工学院联合研发的Utah/MIT手 ...

顾名词义，符号学派以“符号”为中心，主张将知识符号化，并通过一系列预设好的推理规则来实现人工智能。这一学派的起源可以追溯到20世纪中叶，最早由美国学者艾伦·纽厄尔（Allen Newell）和赫伯特·西蒙（Herbert ...

第66届国际数学奥林匹克（IMO）于2025年7月10—20日在澳大利亚阳光海岸举行，中国代表队奔赴澳大利亚参加比赛，以全体选手获得金牌的成绩，取得团队第一名的好成绩。本次比赛共有110个国家和地区共计630名选手参加了比赛。

之所以要办这比赛，皆因在1997年5月11日，IBM超级计算机“深蓝”在国际象棋比赛中击败了世界冠军卡斯帕罗夫。

随着城市化进程的加速和人口的不断增长，城市交通拥堵和能源消耗问题越来越严重，而轨道交通作为一种高效、环保、便捷的交通方式，具有很大的发展潜力和市场前景。7月12日，首都科学讲堂邀请北京交通大学自动化与智能学院教授荀径，为观众解读人工智能技术如何让轨道交通“提档升级”。“一列满载的列车最重能和下面哪个物体差不多” ...