标签：数学

Pan Lu投稿量子位 | 公众号 QbitAI大模型的“5年高考3年模拟”数学题来了，还是加强强强版！微软、加州大学洛杉矶分校（UCLA）、华盛顿大学（UW）联合打造全新...

新智元报道编辑：LRS 好困【新智元导读】大型多模态模型会做数学题吗？在UCLA等机构最新发布的MathVista基准上，即使是当前最强的GPT-4V也会感到「挫败感」。...

01你见过用数学来解读53度酱香酒的吗？白酒+几何，人文+数学。中国的酒文化，可不可能有另一种表达！管你呢，做不做是我的事，喜不喜欢是你的事。它们处于座...

点击上方蓝字关注我们图：线性代数与概率理论：搞懂AI的关键数学基础“𝕀²·ℙarad𝕚g𝕞智能平方范式研究任重道远。从理解SOTA(State of the Art)的大语言模型(LLM)...

丰色 萧箫 发自 凹非寺量子位 | 公众号 QbitAI专门为AI设立的IMO国际奥林匹克数学竞赛来了——奖金足足1000万美元那种！该比赛号称要“代表新的图灵测试”，怎么...

新智元报道编辑：青荻 润【新智元导读】在数学领域，一个全新的时代即将到来。LLEMMA，一个强大的数学专用语言模型，正在带来革命性的性能、数据集和解决方案...

梦晨 发自 凹非寺量子位 | 公众号 QbitAI如今很多大模型都声称擅长数学，谁有真才实学？谁是靠背测试题“作弊”的？有人在今年刚刚公布题目的匈牙利全国数学期...

机器之心专栏机器之心编辑部大型多模态模型会做数学题吗？在微软最新发布的 MathVista 基准上，即使是当前最强的GPT-4V 也会有「挫败感」。微软最近发布了名...

来源：中科院物理所‍‍作者：Areeba Merriam翻译：小聪审校：悦悦原文链接：Is the Universe Really Built on Mathematics?‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍‍学是上帝用来...

机器之心专栏机器之心编辑部中山大学和华为等机构的研究者提出了 LEGO-Prover，实现了数学定理的生成、整理、储存、检索和复用的全流程闭环。背景作为长链条...

克雷格 金磊 发自 凹非寺量子位 | 公众号 QbitAI被誉为“20世纪最有影响力之一”的数学家卡拉比（Eugenio Calabi）逝世了，享年100岁。他的一生，为人类几何学...

西风 鱼羊 发自 凹非寺量子位 | 公众号 QbitAI马斯克的xAI，首项公开研究成果来了！共同一作之一，正是xAI创始成员、丘成桐弟子杨格（Greg Yang）。此前，杨...

机器之心报道编辑：大盘鸡、杜伟大模型家族来了一个专门解决数学问题的「新成员」——Llemma。如今，在各种文本混合数据上训练出来的语言模型会显示出非常通用...

选自量子杂志机器之心编译编辑：Panda W数学证明=计算机程序？什么是柯里-霍华德对应？一些科学发现被赋予了重要的意义，因为揭示了一些新的东西，比如 DNA ...

导语为了探索数学与人工智能深度融合的可能性，集智俱乐部联合同济大学特聘研究员陈小杨、清华大学交叉信息学院助理教授袁洋、南洋理工大学副教授夏克林三位...