数学
-
首届陈景润奖颁发，90后山大教授和84年中科院研究员获奖
数论与代数方向新生代大奖 西风 发自 凹非寺 AI快讯网 | 中国科学院数学与系统科学研究院联合主办的数论与代数方向大奖——第一届陈景润奖揭晓！ 共有两项研究成果获奖。 一位是来自…
-
北大刘若川教授获拉马努金奖，中国学者四次获奖
表彰他对p进霍奇理论做出重要贡献 明敏 发自 凹非寺 AI快讯网 | 2024年度拉马努金奖（The Ramanujan Prize），颁给北大刘若川！ 刘若川，现任北京大学博雅特…
-
几何朗兰兹猜想被证明，陈麟为主要作者
9位作者两代数学家合力攻克 明敏 克雷西 发自 凹非寺 AI快讯网 | 9位数学家、横跨30余年、5篇论文共计800+页…… 几何朗兰兹猜想，终于被证明！ 它是朗兰兹纲领的几何化版…
-
陶哲轩为AI团队颁发IMO奖，他们将打造AI数学领域的ImageNet
获奖方案从模型到数据到代码全开源 陶哲轩在国际数学奥赛IMO上亲自给一支AI团队颁奖！ 怎么回事？ 一同举办的AI数学奥林匹克竞赛，让大模型做IMO级别的竞赛题。 获奖团队Numi…
-
奇怪的现代密码学：最好的加密方式就是公开
现在！在你的脑子里想一个五位数，那么如何悄无声息的把它传递给我呢？ 来看一个好法子，假设你想的数字是 66666 或者 12345 等等。 请将它与我的幸运数字 2359 相乘，只…
-
2024年世界人工智能大会“数学与人工智能”学术会议在沪举办
2024年世界人工智能大会期间，由斯梅尔数学与计算研究院主办的“数学与人工智能”学术会议在上海世博中心成功举办。来自全球多位知名数学家和科学家围绕机器学习与人工智能的数学基础、人工…
-
北大千问团队推出数学专用版CriticGPT，找茬让大模型进步更快
不仅提升了数学验证器的性能，更为自然语言处理领域提供了一种新的训练范式 批评不仅能让人进步，也能让大模型的能力提升。 OpenAI就用这个思路造了个“找茬模型”CriticGPT。…
-
DeepSeek-Coder-v2登顶竞技场最强开源编码模型
就在刚刚，竞技场排名再次刷新： 深度求索DeepSeek-Coder-v2成竞技场最强开源编码模型！ 它在Coding Arena中已攀升至第4名，水平接近GPT-4-Turbo。…
-
AI+教育：未来发展方向是什么？
2024年高考刚刚结束，就有人拿着各地的高考语文题、物理题去“挑战”国产人工智能（AI）。从结果来看，大部分AI的语文作文写得还算中规中矩，但对于数学、物理等相对复杂、逻辑性要求更…
