首页 > 数学

数学

  • 第一个国产中文o1来了，直接数学竞赛题伺候！

    家人们，o1大模型，最近着实是有点火啊。就在今天，昆仑万维的Skywork o1首发中文逻辑推理能力，并开启了邀测。那一波实测，这不就得安排一下么。类似o1模型最大的特点就是其强悍的推理能力，因此，我们直接上一道AIME数学竞赛题，看看够不够“开门”。

  • 2023顶科协奖“智能科学或数学奖”得主：AI时代，人们又开始研究数学了

    颁奖仪式现场数学，无疑是一门令许多学生头疼的学科。但2023年世界顶尖科学家协会奖“智能科学或数学奖”得主阿尔卡迪·涅米罗夫斯基和尤里·涅斯捷罗夫却说，“中国学生学数学，有很好的传统与文化。”11月6日，两位来沪领奖的俄裔数学家接受记者专访，畅谈数学学习与研究的现状，展望数学应用的前景。数学学习难？

  • 刚刚，图灵奖揭晓！史上首位数学和计算机最高奖“双料王”出现了

    刚刚，“计算机界最高荣誉”图灵奖揭晓——复杂性理论先驱、普林斯顿高等研究院教授艾维·维格森(Avi Wigderson)摘得。美国计算机协会（ACM）表示，表彰他对计算理论的基础性贡献，包括重塑人类对计算中随机性作用的理解，以及数十年来在理论计算机科学领域的领导地位。

  • 微软：两个AI相互纠错，数学再涨5分

    奇月 发自 凹非寺新火种 | 公众号 QbitAI提升LLM数学能力的新方法来了——一个大模型不行，那就两个。让他们彼此合作，纠正对方的错误。这就是来自加州大学和微软研究院的最新研究成果：Flow-DPO。

  • Facebook想教AI理解数学，这件事有多难？

    近年来，随着 AI 的崛起，神经网络一词也不断出现在人们的视线中。事实上，神经网络并不是什么新兴词汇。早在 70 多年前，神经网络就被 AI 前沿的工作人员用来探索人类大脑的运作模式—— 人类大脑里有着数十亿的神经元相互连接，形成错综复杂的生物神经网络，负责处理各种感官数据，并作出相应的应激反应。

  • 谷歌Gemini数学反超o1预览版！成本仅1/10、无需额外思考时间

    数学击败o1-preview，成本仅为十分之一，并且几乎没有思考延迟！OpenAI《Her》全量开放同一天，谷歌Gemini 1.5迎来重大升级。除此之外，价格也是原来的一半，速度限制提升2-3倍；输出速度提升2倍、延迟降为原来三分之一。开发者可以通过 Google AI Studio 和 Gemi

  • 似乎一夜之间，AI就攻陷了数学

    随着GPT热潮的不断发展，包括ChatGPT在内的大型语言模型（Large Language Model；LLM）开始逐渐进入各种原来被认为是人类智力活动专属的领域当中。例如，菲尔兹奖得主、华裔数学家陶哲轩就在一篇博客中宣称，他已经开始使用GPT-4来协助自己的工作。

热门文章