似乎一夜之间，AI就攻陷了数学
随着GPT热潮的不断发展，包括ChatGPT在内的大型语言模型（Large Language Model；LLM）开始逐渐进入各种原来被认为是人类智力活动专属的领域当中。例如，菲尔兹奖得主、华裔数学家陶哲轩就在一篇博客中宣称，他已经开始使用GPT-4来协助自己的工作。
首页 > 数学
-
-
量化之王谢幕，“用数学赚钱比印钞机还快”
除了把数学当做工具，缔造出华尔街传奇之外，西蒙斯在数学领域本身同样颇有贡献，陶哲轩将他称为一位著名的微分几何学家。
-
Meta、斯坦福等：AI的下一个前沿，正是陶哲轩说的形式化数学推理
对 AI 研究者来说，数学既是一类难题，也是一个标杆，能够成为衡量 AI 技术的发展重要尺度。近段时间，随着 AI 推理能力的提升，使用 AI 来证明数学问题已经成为一个重要的研究探索方向。
-
GPT-4V数学推理如何？微软发布MathVista基准，评测报告长达112页
大型多模态模型会做数学题吗？在微软最新发布的 MathVista 基准上，即使是当前最强的 GPT-4V 也会有「挫败感」。微软最近发布了名为 “MathVista” 的全新多模态数学推理基准数据集，同时提供了一份涵盖 112 页的详细评测报告，专注于大型多模态模型的数学推理表现。
-
讯飞星火4.0Turbo正式发布！七大能力全面超GPT-4Turbo数学代码能力超GPT-4o
10月24日消息，在今日举办的科大讯飞全球1024开发者节上，科大讯飞董事长刘庆峰正式发布讯飞星火大模型最新版本——讯飞星火4.0 Turbo。
-
科普书单·新书｜数学有什么用
《数学的雨伞下：理解世界的乐趣》[法]米卡埃尔·洛奈 著，[法]克洛伊·布沙伍尔 绘，欧瑜 译，人民邮电出版社·图灵新知，2023年6月版从代数、几何到相对论，从温度计到黑洞，作者用简洁而生动的笔触阐释了如何用数学更好地思索、观察与理解世界。数学就像一把雨伞，当撑开这把雨伞时，我们仿佛进入了一个奇特
-
LoRA数学编程任务不敌全量微调|哥大&Databricks新研究
大数据巨头Databricks与哥伦比亚大学最新研究发现，在数学和编程任务上，LoRA干不过全量微调。具体来说，在这两种任务中，LoRA模型的精确度只有后者的八到九成左右。不过，作者也发现，LoRA虽然学得少，但是“记忆力”却更好，遗忘现象要比全量微调少得多。究其原因，作者认为是数学和代码任务的特性
-
AI驱动科学大爆发！从蛋白质到数学证明，2024年最值得关注的科技突破
编辑 | ScienceAI2024年对于AI for Science而言，可谓硕果累累：两个诺贝尔奖再度聚焦人工智能与科学的先驱性结合。
-
最新研究：ChatGPT解决简单数学问题的准确率从98%降至2%
斯坦福大学的研究人员发现，ChatGPT版本更新后，对相同的问题给出了不同回答。
-
2024年世界人工智能大会“数学与人工智能”学术会议在沪举办
近日，2024年世界人工智能大会期间，由斯梅尔数学与计算研究院主办的“数学与人工智能”学术会议在上海世博中心举办。来自全球多位知名数学家和科学家围绕机器学习与人工智能的数学基础、人工智能中的算法研究等
