标签：数学
「陶哲轩×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 等闭源大模型。数学推理是现代大型语言模型（...
打破美国AI公司霸榜，上交AI数学开源模型阿贝尔排行榜首
机器之心报道机器之心编辑部以 ChatGPT 为代表的大模型产品引领了一场新的产业革命，激发了国内外各机构积极投入相关技术研究的热情。在过去几个月的技术竞争...
34B参数量超越GPT-4！「数学通用大模型」MAmmoTH开源：平均准确率最高提升29%
新智元报道编辑：LRS【新智元导读】数学通才「猛犸」模型给开源语言模型带来了「推理春天」，面对GPT-4都有一战之力！数学推理问题是语言模型绕不过的痛点，...
17 岁少年斩获金奖，2023 阿里巴巴全球数学竞赛结果出炉：北大学生拿下“半壁江山”
大数据文摘出品昨日，2023阿里全球数学竞赛公布了获奖名单，其中4位同学获得金奖，分别是：瞿霄宇（北京大学）、李一笑（北京大学）、郝天泽（北京大学）、张...
阿里数学竞赛最年轻金奖得主：17岁北大读大二，小学就在看数学分析
杨净 发自 北大量子位 | 公众号 QbitAI刚刚，在中国最高学府，又一场全球数学狂欢落下帷幕。经过5个月赛程，阿里数学竞赛最强四人名单出炉：他们平均年龄22岁...
P vs NP问题依旧是猜想，99.9999%概率（保命
最近，有一个新闻，大概是说一些机构的研究人员合作，通过“苏格拉底式”严格推理，成功让GPT-4得出了P≠NP的结论！这句话的表述就很“艺术”，让人很容易理解成为...
人工智能的数学基石：揭秘人工智能十大数学基础
来源：幻风的AI之路人工智能（Artificial Intelligence，简称AI）正以惊人的速度改变着我们的生活。然而，要实现智能的机器，离不开数学的支持。本文将带你深...
世界级千禧难题“纳维–斯托克斯方程”：数学史上最复杂的公式！
来源：《改变世界的17个方程》作者：[英] 伊恩•斯图尔特译者：劳佳它告诉我们什么？它的外衣下就是牛顿第二运动定律。方程左侧是小流体区域的加速度。右侧是...
陶哲轩用大模型辅助解决数学问题：生成代码、编辑LaTeX公式都很好用
机器之心报道编辑：小舟数学研究工具可以随 AI 模型的进展更新一波了。几个月来，数学家陶哲轩多次尝试使用 ChatGPT 辅助解决数学问题，并与大家分享他的试验...
陶哲轩：GPT-4神助攻，写Python代码轻松省半小时
新智元报道编辑：Aeneas 好困【新智元导读】陶哲轩早就预言，2026年GPT能帮数学家合著论文。今天，GPT-4就帮他写出一段代码，直接节省了半小时的工作量。刚刚...
粤公网安备 44011502001135号