首页 > 数学

数学

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

    刚刚，“计算机界最高荣誉”图灵奖揭晓——复杂性理论先驱、普林斯顿高等研究院教授艾维·维格森(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来协助自己的工作。

  • GPT-4V数学推理如何？微软发布MathVista基准，评测报告长达112页

    大型多模态模型会做数学题吗？在微软最新发布的 MathVista 基准上，即使是当前最强的 GPT-4V 也会有「挫败感」。微软最近发布了名为 “MathVista” 的全新多模态数学推理基准数据集，同时提供了一份涵盖 112 页的详细评测报告，专注于大型多模态模型的数学推理表现。

  • 科普书单·新书｜数学有什么用

    《数学的雨伞下：理解世界的乐趣》[法]米卡埃尔·洛奈 著，[法]克洛伊·布沙伍尔 绘，欧瑜 译，人民邮电出版社·图灵新知，2023年6月版从代数、几何到相对论，从温度计到黑洞，作者用简洁而生动的笔触阐释了如何用数学更好地思索、观察与理解世界。数学就像一把雨伞，当撑开这把雨伞时，我们仿佛进入了一个奇特

热门文章