华人教授带美国奥数夺冠:不要以拿金牌为梦想

在国际奥数世界名人堂的列表中,排位前50名的学生里有5位都曾师从冯祖名,其中包括第一名、加拿大籍华人宋卓群。可冯祖名更强调让孩子们不要以拿金牌为梦想,要有平常心,做好当一个普通人的准备。“首先,如果人生的梦想就是拿块金牌的话,就太肤浅了,这只是你20岁之前要尝试的事情。第二,拿金牌难之又难,比...

奥数金牌得主被AI秒杀,丘成桐的数学教育警示成真了

比如华裔天才少年陶哲轩,12岁获得IMO金牌,成为最年轻的IMO金牌获得者,14岁时正式进入他中学时去听课的弗林德斯大学,24岁成为加州大学洛杉矶分校数学系终身教授,31岁就获得了菲尔兹数学奖。还有俄罗斯数学家佩雷尔曼,他曾证明困扰数学家100年的「庞加莱猜想」。他4岁时对数学产生了浓厚兴趣,13岁开始研究拓扑学,14岁被...

大模型独立解答30道国际奥数难题,能力接近金牌选手!

为了验证AlphaGeometr的性能,研究人员使用了正规国际奥数比赛的规则对其进行测试。结果显示,AlphaGeometry在官方奥林匹克竞赛时间限制下正确解决了,30道题中的25道,接近人类金牌得主的25.9道。而之前最先进的模型只能解决30道中的10道题。AlphaGeometry成为目前功能最强的解决几何难题模型。AlphaGeometry的核心技术创新...

曾获国际数学奥林匹克满分金牌的姚健钢:“数学天才少女”打好基础...

潮：姚博士当年在国际数学奥林匹克竞赛获得满分金牌，您认为，这个成绩对您后来的求学有帮助吗？怎么看待当年参加比赛的那段经历？姚：我个人参加数学竞赛的经历是，我曾经在小学六年级的时候，得到了北京市小学数学竞赛的第一名。那时候就定下一个目标，希望到中学毕业的时候，能够代表中国参加国际数学奥林匹克，并获...

谷歌DeepMind 捅破 AI 数学推理上限:6 道国际奥数题解出 4 道

蒂莫西??高尔斯教授（ProfSirTimothyGowers）：著名数学家、IMO金牌得主和菲尔兹奖得主。约瑟夫-迈尔斯博士（DrJosephMyers）：两届IMO金牌得主、IMO2024年问题遴选委员会主席AI模型推理AI会将IMO的6道题目翻译成为模型可以理解的数学语言。AlphaProof通过确定答案并证明其正确性，解决了两个...

里程碑!谷歌新的AI模型在国际奥数IMO方面达到银牌水平

7月25日,谷歌DeepMind团队发文宣布,推出基于强化学习的新型形式数学推理系统AlphaProof,以及几何求解系统的改进版本AlphaGeometry2(www.e993.com)2024年11月8日。这两个系统共同解决了今年国际数学奥林匹克(IMO)六道题目中的四道,首次在竞赛中取得与银牌得主同等的成绩。谷歌DeepMind团队认为,具有高级数学推理能力的通用人工智能(AGI)有可能开辟...

AI盯上奥数!谷歌DeepMind:能以人类金牌水平解决几何题

当地时间1月17日，人工智能开发机构谷歌DeepMind推出了名为AlphaGeometry（阿尔法几何）的AI系统，称该系统可以以国际数学奥林匹克竞赛金牌得主的平均水平解决几何问题。有关该研究的论文表示，这“代表了人类水平自动化推理的一个显著里程碑”。科学家认为，证明数学定理的方法有一天可能会在通用人工智能系统中发挥作用。...

一道小学奥数题4个AI平台答案不一,专家回应

据参考消息,今年1月,美国一个名为阿尔法几何(AlphaGeometry)的AI系统,能做出国际数学奥林匹克(IMO)的30道几何题中的25道,已经接近人类奥数金牌得主水平,该突破性成果甚至登上了著名的《自然》(Nature)杂志。据报道,美国亚利桑那州立大学副教授沙卡里安,在2023年1月初用1000个数学问题对ChatGPT进行了测试,结果发现...

人工智能,步步逼近奥数天才

人工智能,步步逼近奥数天才防走失,电梯直达环球科学玛农·比肖夫(ManonBischoff)国际数学奥林匹克竞赛(IMO)或许是难度最高的高中数学竞赛,几乎集结了所有的数学天才。最近,一个名为“AlphaGeometry”的人工智能(AI)程序强势加入了IMO赛道,它在几何证明题上的表现已逼近人类金牌选手。

北大图灵班 00 后学子夺得五金!北大荣获国际大学生程序设计竞赛...

金牌得主王展鹏,2021级北大图灵班王展鹏为绍兴一中2020届优秀毕业生,在高中时就曾参加过多次信息学科竞赛。在2020年,王展鹏以全国第四的成绩入选国家队四人名单,代表中国出战第32届国际信奥竞赛,最终斩获信息学奥林匹克国际金牌。还在上高二的王展鹏,就获得了计算机学科人才培养一流水平的北京大学英才班...