标签：数学

来源：CAA会员服务 作者：郭雷（中国科学院院士、中国自动化学会会士） 内容来源：《中国学科发展战略·控制科学》 编辑：高天慧 责任编辑：叩颖 转自：集智俱...

机器之心专栏 机器之心编辑部在当前智能对话模型的发展中，强大的底层模型起着至关重要的作用。这些先进模型的预训练往往依赖于高质量且多样化的语料库，而如...

大数据文摘授权转载自zzllrr小乐 作者：拉斐拉·穆拉斯（Raffaella Mulas） 译者：zzllrr小乐拉兹洛·洛瓦兹（László Lovász，1948 -，以下简称LL）是匈牙利数...

——不能只知道牛顿，还要知道他的伟大对手莱布尼茨Gottfried Wilhelm Leibniz引谁能战胜牛顿……300年前，人类一直跟随牛顿的思想； 300年后，人类开始追随莱布...

机器之心报道编辑：陈萍现在，数学辅助证明工具都用上了大模型。「我预计，如果使用得当，到 2026 年，AI 将成为数学研究和许多其他领域值得信赖的合著者。」...

夕小瑶科技说 原创作者 | 付奶茶谷歌DeepMind大模型最新研究突破来了！这次谷歌DeepMind提出了一种使用大语言模型搜索数学和计算机科学新解决方案的方法 FunS...

新智元报道编辑：编辑部【新智元导读】历时三周，陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究者学会正确利...

丰色 发自 凹非寺量子位 | 公众号QbitAI国产大模型刚刚出了一位全新选手：参数670亿的DeepSeek。它在近20个中英文的公开评测榜单上直接超越了同量级、700亿的...

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如今很多大模型都声称擅长数学，谁有真才实学？谁是靠背测试题“作弊”的？有人在今年刚刚公布题目的匈牙利全国数学期...