首页 > 数学

数学

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

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

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

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

  • 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 页的详细评测报告,专注于大型多模态模型的数学推理表现。