标签:数学

陶哲轩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等机构研究人员提出了「智能体自动化设计」系统,让元智能体使用搜索...
阅读原文

2024未来科学大奖数学奖授予孙斌勇教授

大数据文摘受权转载自zzllrr小乐 据未来科学大奖官网最新消息,2024年未来科学大奖-数学与计算机科学奖获奖人是孙斌勇教授(1976 -)。 孙斌勇,1976年出生于...
阅读原文

Llama 8B搜索100次超越GPT-4o!推理+搜索即可提升性能,新「Scaling Law」诞生?

新智元报道编辑:乔杨 【新智元导读】最近的论文表明,LLM等生成模型可以通过搜索来扩展,并实现非常显著的性能提升。另一个复现实验也发现,让参数量仅8B的L...
阅读原文

数十年来首次取得进展,陶哲轩高徒、赵宇飞高徒突破组合数学难题

机器之心编译 选自quantamagazine 机器之心编译机器之心编辑部近期,一个数十年来未解决的数学难题首次取得了进展。 推动这项进展的是来自加州大学洛杉矶分校...
阅读原文

陶哲轩最新演讲:AI将催生出一个大数学时代

大数据文摘授权转载自学术头条 【编者按】日前,菲尔茨奖获得者、华裔数学家、加州大学洛杉矶分校教授陶哲轩在牛津数学公开讲座中,探讨了人工智能(AI)在数...
阅读原文

陶哲轩最新演讲:AI 将催生出一个大数学时代

【编者按】日前,菲尔茨奖获得者、华裔数学家、加州大学洛杉矶分校教授陶哲轩在牛津数学公开讲座中,探讨了人工智能(AI)在数学和科学领域中的潜力,以及它...
阅读原文

最强数学大模型易主!阿里千问新模型成绩超GPT-4o,网友:这才是真“草莓”

克雷西 发自 凹非寺量子位 | 公众号 QbitAI最强数学大模型,现在易主! 阿里千问大模型团队发布的Qwen2-Math,不仅超越了Llama 3.1-405B,也战胜了GPT-4o、Cl...
阅读原文

陶哲轩牛津对谈罗博深:解密DeepMind如何让AI拿到IMO银牌

新智元报道编辑:编辑部 【新智元导读】陶哲轩一场新鲜出炉的演讲,为我们带来了一场干货满满的思想盛宴。7月17日,「牛津数学公开讲座」系列研讨会邀请到了...
阅读原文

陶哲轩高徒撬动数十年难题,这个华人研究生联手MIT解谜等差数列!

新智元报道编辑:编辑部 【新智元导读】组合数学领域的一个难题,完全无序的数学不可能性,被UCLA华人研究生和两位MIT研究生取得了突破!为此,他们强化了陶...
阅读原文
12345612