“数学家”的搜索结果
DeepSeek开源数学大模型，高中、大学定理证明新SOTA
数学家陶哲轩在牛津数学公开讲座中提出，人工智能（AI）与数学的结合将推动形式化证明的编写超越人类，这不仅将验证现有证明，还将创造...
陶哲轩牛津对谈罗博深：解密DeepMind如何让AI拿到IMO银牌
在7月17日的牛津数学公开讲座系列研讨会上，著名数学家陶哲轩发表了关于人工智能（AI）在科学和数学领域潜力的演讲。陶哲轩认为AI本质上...
陶哲轩赵宇飞学生联手攻下组合数学难题，23年来首次突破
数学界近期迎来了一项重大突破，由陶哲轩和赵宇飞的学生联手在组合数学领域取得。这一突破涉及塞迈雷迪定理，这是数学中一个长期存在的...
陶哲轩高徒撬动数十年难题，这个华人研究生联手MIT解谜等差数列！
组合数学领域长久以来面临的一个难题——完全无序的数学不可能性，最近由UCLA的华人研究生James Leng和两位MIT研究生Ashwin Sah、Mehtaab ...
秘密打造「AI陶哲轩」 震惊数学圈！谷歌IMO梦之队首曝光，菲尔兹奖得主深度点评
谷歌DeepMind的AI系统AlphaProof和AlphaGeometry 2在2024年国际数学奥林匹克竞赛（IMO）中取得了显著成绩，仅以一分之差错失金牌，这一...
陶哲轩点评谷歌AlphaProof：AI在数学竞赛中展现「超凡智慧」
谷歌DeepMind的人工智能系统在2024年国际数学奥林匹克竞赛（IMO）中取得了显著成绩，其得分接近金牌水平。在IMO的六个问题中，该系统解...
谷歌大模型获重大突破，首次拿下国际奥数银牌
谷歌DeepMind在2024年国际数学奥林匹克竞赛（IMO）中取得了显著成绩，其开发的两个混合大模型AlphaProof和AlphaGeometry 2获得了银牌。I...
谷歌AI一分之差痛失IMO金牌！19秒做一题碾压人类选手，几何AI超进化震撼评委
谷歌DeepMind的人工智能系统在国际数学奥林匹克竞赛（IMO）中取得了显著成绩，其中AI系统AlphaProof和AlphaGeometry 2成功完成了6道题目...
北大刘若川教授获拉马努金奖，中国学者4次获此殊荣
北京大学博雅特聘教授、数学科学学院副院长刘若川荣获2024年度拉马努金奖，以表彰其在p进霍奇理论领域的基础性贡献，特别是在相对p进霍...
几何朗兰兹猜想被解决！历时30年、证明论文达800余页，中国学者陈麟系主要作者
几何朗兰兹猜想，作为朗兰兹纲领的几何化版本，经过30余年的研究和9位数学家的共同努力，终于得到了证明。朗兰兹纲领自1967年由罗伯特·...
