标签：数学
一招分辨刷榜作弊大模型，博士小哥开源AI数学“照妖镜”
梦晨 发自 凹非寺量子位 | 公众号 QbitAI如今很多大模型都声称擅长数学，谁有真才实学？谁是靠背测试题“作弊”的？有人在今年刚刚公布题目的匈牙利全国数学期...
GPT-4V数学推理如何？微软发布MathVista基准，评测报告长达112页
机器之心专栏机器之心编辑部大型多模态模型会做数学题吗？在微软最新发布的 MathVista 基准上，即使是当前最强的GPT-4V 也会有「挫败感」。微软最近发布了名...
宇宙真的建立在数学之上吗？
来源：中科院物理所作者：Areeba Merriam翻译：小聪审校：悦悦原文链接：Is the Universe Really Built on Mathematics?学是上帝用来...
像搭乐高一样做数学定理证明题，GPT-3.5证明成功率达新SOTA
机器之心专栏机器之心编辑部中山大学和华为等机构的研究者提出了 LEGO-Prover，实现了数学定理的生成、整理、储存、检索和复用的全流程闭环。背景作为长链条...
百岁数学巨匠陨落！丘成桐视他为师，90岁依旧研究数学
克雷格 金磊 发自 凹非寺量子位 | 公众号 QbitAI被誉为“20世纪最有影响力之一”的数学家卡拉比（Eugenio Calabi）逝世了，享年100岁。他的一生，为人类几何学...
马斯克xAI首个研究成果发布！创始成员杨格&姚班校友共同一作
西风 鱼羊 发自 凹非寺量子位 | 公众号 QbitAI马斯克的xAI，首项公开研究成果来了！共同一作之一，正是xAI创始成员、丘成桐弟子杨格（Greg Yang）。此前，杨...
参数少近一半，性能逼近谷歌Minerva，又一个数学大模型开源了
机器之心报道编辑：大盘鸡、杜伟大模型家族来了一个专门解决数学问题的「新成员」——Llemma。如今，在各种文本混合数据上训练出来的语言模型会显示出非常通用...
数学逻辑和计算机程序代码之间的深层联系：互为镜像
选自量子杂志机器之心编译编辑：Panda W数学证明=计算机程序？什么是柯里-霍华德对应？一些科学发现被赋予了重要的意义，因为揭示了一些新的东西，比如 DNA ...
人工智能与数学前沿综述：如何借助 AI 发现数学规律？
导语为了探索数学与人工智能深度融合的可能性，集智俱乐部联合同济大学特聘研究员陈小杨、清华大学交叉信息学院助理教授袁洋、南洋理工大学副教授夏克林三位...
「陶哲轩×GPT-4」合写数学论文！数学大佬齐惊呼，LLM推理神助证明不等式定理
新智元报道编辑：编辑部【新智元导读】陶哲轩的新论文，竟是用GPT-4辅助写的？前不久，GitHub Copilot的惊人能力已经让陶哲轩不安，现在，众大佬齐呼数学研究...
渐冻症少年闪光阿里数学竞赛！靠自学进MIT研究黑洞，导师：很像霍金
克雷西 发自 凹非寺量子位 | 公众号 QbitAI今年阿里巴巴全球数学竞赛，有一位特殊的优秀奖得主——20岁渐冻症少年楼印根（Lou Benjamin）。患有先天性残疾的他...
数学家孜孜以求的数学证明本质是一种社会契约，为什么这么说？
选自量子杂志机器之心编译编辑：rome rome数学的本质是什么？数学家渴求的客观性真理是否能实现？人工智能等的发展和在数学中的应用会对数学产生什么样的影响...
GitHub Copilot让陶哲轩感到“不安”
金磊 发自 凹非寺量子位 | 公众号 QbitAIGitHub Copilot，又一次被数学大神陶哲轩“点名”了：我发现GitHub Copilot在撰写我最近博客文章的过程中非常有帮助。...
ChatGPT多模态解禁，网友玩疯！拍图即生代码，古卷手稿一眼识别，图表总结超6
新智元报道编辑：桃子【新智元导读】ChatGPT多模态能力终于可以尝鲜了！这周三，OpenAI刚刚宣布解禁ChatGPT多模态能力。如今，一上线，网友们瞬间玩疯了。接...
进能形式逻辑，退能四则运算，MAmmoT让LLM成为数学通才
机器之心报道编辑：Panda一个新数据集外加思维链和思维程序两种方法之长，竟能让开源 LLM 的数学推理追上 GPT-4 等闭源大模型。数学推理是现代大型语言模型（...
粤公网安备 44011502001135号