标签：数学

新智元报道编辑：桃子 好困 【新智元导读】马斯克「搞笑」模型刚刚升级到Grok-1.5，推理性能暴涨，支持128k长上下文。最重要的是，Grok-1.5的数学和代码能力...

夕小瑶科技说 原创作者 | Tscom 引言：大语言模型数学能力评估的重要性数学能力的评估对于理解和发展大语言模型（LLMs）至关重要。数学问题不仅涉及对数字的...

丰色 发自 凹非寺量子位 | 公众号 QbitAI这是属于概率论的高光时刻。 有着“数学诺贝尔奖”之称、与菲尔兹奖齐名的阿贝尔奖，今年颁给了72岁法国数学家米歇尔•...

大数据文摘授权转载自zzllrr小乐 作者：Keith Devlin 译者：zzllrr小乐 像ChatGPT这样的大语言模型（Large Language Models，LLM）会改变新数学的发现方式吗...

机器之心报道 编辑：杜伟、陈萍从青少年时期饱受失明的恐惧，到之后求学、享誉学界并获得各类奖项和荣誉，2024 年阿贝尔奖得主 Michel Talagrand 一路走来诸...

来源：返朴 对话：Steven Strogatz 嘉宾：陶哲轩（Terence Tao） 翻译：zzllrr小乐 被称为“数学莫扎特”的陶哲轩在2007年写了一篇文章，探讨“好”的数学研究的...

新智元报道编辑：编辑部 【新智元导读】一年一度的阿里全球数学竞赛又开始了。本届最大的亮点，首次向硅基AI开放，最高可摘得1万美金大奖。不用等了，带着你...

鱼羊 发自 凹非寺量子位 | 公众号 QbitAI大模型要在数学竞赛上跟人类同场竞技啦！ 最新消息，阿里巴巴全球数学竞赛，今日官宣开启报名。依然不限年龄、国籍、...

机器之心专栏 机器之心编辑部合成数据持续解锁大模型的数学推理潜力！数学问题解决能力一直被视为衡量语言模型智能水平的重要指标。通常只有规模极大的模型或...

夕小瑶科技说 原创编辑 | 松果 引言：数学问题解决中的语言模型挑战数学问题解决是一个复杂的认知过程，它要求参与者不仅要掌握数学知识，还要能够进行多步骤...

新智元报道编辑：Aeneas 好困 【新智元导读】最近的数学圈，都被椭圆曲线的murmuration（椋鸟群飞）现象震惊了。由经验不足的本科生无意中做出的这个成果，竟...

机器之心报道 编辑：小舟、泽南又一个媲美 GPT-4 的大模型出现了？ 本周四，美国 AI 创业公司 Inflection AI 正式发布新一代大语言模型 Inflection-2.5。 据...

新智元报道编辑：好困 桃子 【新智元导读】基础数学已经被拔高到研究AI的必经之路！UC伯克利教授发起最新倡议，31位AI大佬共同签署联名信，马斯克和Altman竟...

机器之心报道 编辑：杜伟、泽南高中阶段学习数据科学能不能代替数学，这个话题的讨论已经延伸到了 AI 圈。 为了 AI 的发展，再不加强基础教育就晚了。在大模...

白交 发自 凹非寺量子位 | 公众号 QbitAIAI影响之一是让业余数学家也能做出贡献。 数学下一次文化转变在于AI生成的证明是否会被接受。 很快会有个AI聊天机器...