标签:数学

张寿武:数学中的无解之解

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

听了这首歌后,我立马爱上数学了

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

陶哲轩提前实测满血版o1:能当研究生使唤

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

OpenAI 发布最新模型 o1,这次变为华人扛大旗?一分钟搞出 3D 版贪吃蛇,好用但小贵

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

北大王立威:理论视角看大模型,为什么AI既聪明又愚蠢 | 智者访谈

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

字节又一款AI 产品在海外大火,教育榜第二,仅次于多邻国

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

陶哲轩:AI时代,数学研究将进入前所未有的规模

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

执教10年46枚美国IMO金牌!对话前总教练罗博深:不看好AI教育,不建议AI辅助学数学

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

陶哲轩IMO演讲全文:一次性解决一千个问题,AI让数学摆脱蛮力计算

机器之心报道 机器之心编辑部在探索「数学之美」的路上,人工智能到底走到哪一步了?说到这个话题,可能没人比数学家陶哲轩更懂。他几乎是最常用 AI 辅助证明...
阅读原文

GPT-5降临,代号猎户座?OpenAI疑用草莓训练,数学推理暴涨超越所有模型

新智元报道编辑:Aeneas 好困 【新智元导读】OpenAI又憋大招了!据悉,下一代旗舰模型GPT-5或名为「猎户座」,由「草莓」合成的数据训练。而草莓具有极强的复...
阅读原文

本科生福利!爱丁堡大学图解版「伽罗瓦理论」课程笔记公开了

机器之心报道 机器之心编辑部你可能听说过这样一个故事。 埃瓦里斯特・伽罗瓦(Évariste Galois)是一位富有浪漫主义色彩的数学家。他在 1811 年出生于法国巴...
阅读原文

终于,Claude上线LaTeX公式渲染功能,评论区网友沸腾了

机器之心报道 编辑:杜伟当 ChatGPT 老早就支持使用 LaTeX 语言输入和显示数学公式时,Claude 现在终于补上了这一功能。在论文、书籍、报告或幻灯片中,我们...
阅读原文

阿里推出世界最强的数学模型Qwen2-Math,击败GPT4o、Claude3.5

夕小瑶科技说 原创作者 | 谷雨龙泽上周,阿里通义团队宣布,模型又迎来了一次升级,他们推出了专用于解决数学问题的Qwen2-Math! Qwen2-Math模型简介通义千问...
阅读原文

哪里不会扫哪里!全球最强数学大模型发布人人可玩Demo,阿里多模态模型加持,中文适用

衡宇 发自 凹非寺量子位 | 公众号 QbitAI现在,最强数学大模型,人人都可上手玩了! 一觉醒来,阿里千问大模型团队发布了Qwen2-Math的Demo,抱抱脸在线可玩。...
阅读原文

AI设计自己,代码造物主已来!UBC华人一作首提ADAS,数学能力暴涨25.9%

新智元报道编辑:编辑部 【新智元导读】AI掌握自我设计的权力,将会怎样?最近,来自UBC等机构研究人员提出了「智能体自动化设计」系统,让元智能体使用搜索...
阅读原文
1234512