标签：数学

罗格斯大学新不伦瑞克分校的一位教授毕生致力于解决高等数学的奥秘，他解决了困扰数学家数十年的两个独立的基本问题。 这些长期存在的问题的解决方案可以进一...

来源：元界 整理编辑：抱一君 牛顿是科学时代起步时的一位科学家，他的重要工作是把物理学变成了数学。智能时代的起步，是从把语言变成数学开始的，以ChatGP...

新智元报道编辑：Aeneas 好困 【新智元导读】最近，陶哲轩向广大网友和数学爱好者发起了挑战：大众数学爱好者、证明助理、自动化助手和AI联合起来，是否可以...

小交 发自 凹非寺量子位 | 公众号 QbitAI数学击败o1-preview，成本仅为十分之一，并且几乎没有思考延迟！ OpenAI《Her》全量开放同一天，谷歌Gemini 1.5迎来...

Omni-MATH团队 投稿量子位 | 公众号 QbitAIOpenAI的o1系列一发布，传统数学评测基准都显得不够用了。 MATH-500，满血版o1模型直接拿下94.8分。 更难的奥数邀...

新智元报道编辑：桃子 【新智元导读】多个LLM联合，可以迈向更强大系统！最新研究发现，GPT-4能够提升同伴的性能，能够让数学能力暴涨11.6%。AI如何成为「更...

白小交 发自 凹非寺量子位 | 公众号 QbitAI击败LIama3！Qwen2.5登上全球开源王座。 而后者仅以五分之一的参数规模，就在多任务中超越LIama3 405B。 各种任务...

来源：下文转自公众号：返朴(fanpu2019) 演讲：张寿武（普林斯顿大学数学系教授，美国艺术与科学学院院士） 整理：木槐、Helen人类对数的抽象思考古已有之。...

— —《DAN.AI》第2期— — 以数之名出品：量子学派 作词：罗金海 作曲：傅若雯 演唱：滚DAN乐队滚DAN乐队 诞生于科技与艺术的交汇点， 是由AI与人类合作组成的乐...

白小交 衡宇 发自 凹非寺量子位 | 公众号 QbitAI好羡慕！原来早在8月份，陶哲轩就已经用上了OpenAI o1。 还是现在大家都用不上的满血版本（眼泪不争气地从嘴...

整理 | 华卫、核子可乐 9 月 12 日，OpenAI 万众期待的“草莓”（Strawberry）终于上线了。这一新模型名为 o1，是 OpenAI 推理模型家族的首位成员，能够解决现...

人工智能的卓越发展 源于对技术与产业本质的洞察 机器之心全新视频栏目「智者访谈」 邀请领域专家，洞悉 AI 核心技术与行业趋势 为从业者量身打造 深化行业认...

字节又有一个产品在海外火了。 这个教育类 AI 软件 Gauth 不是用来写论文的，而是一个解题助教，能直接答题，也能一步步教你。 在美国教育类应用中，它排名第...

来源：量子位编辑：西风 陶哲轩最新演讲公开，AI含量爆表。 在IMO 2024现场，“陶神”带来了洋洋洒洒1个小时的精彩分享，主题就叫：AI与数学。他怎么看AI和数学...

白交 梦晨 发自 凹非寺量子位 | 公众号 QbitAI在中国奥数队历史性五连冠被美国队终结后，一个名字被反复谈起。 罗博深（Po-shen Loh）。 他是前美国奥数功勋...