标签:数学

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

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

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

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

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

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

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