标签:函数

谷歌AI一分之差痛失IMO金牌!19秒做一题碾压人类选手,几何AI超进化震撼评委

新智元报道编辑:编辑部 【新智元导读】就在刚刚,谷歌DeepMind最新的数学模型捧得了IMO奥数银牌!它不仅以满分成绩做出了6道题中的4道,距离金牌只有1分之差...
阅读原文

Nature 重磅论文:用 AI 生成的数据训练 AI,会让大模型崩溃

文章转载自「新智元」。我们知道,训练大模型需要大量的数据积累,随着技术的发展,高质量数据逐渐成为AI进步的强烈需求。 面对这样的情况下,为了提升模型能...
阅读原文

AI训AI惨遭投毒9次大崩溃,牛津剑桥等惊天发现登Nature封面!

新智元报道编辑:编辑部 【新智元导读】9次迭代后,模型开始出现诡异乱码,直接原地崩溃!就在今天,牛津、剑桥等机构的一篇论文登上了Nature封面,称合成数...
阅读原文

几何朗兰兹猜想被解决!历时30年、证明论文达800余页,中国学者陈麟系主要作者

来源:量子位 | 公众号 QbitAI 明敏 克雷西 发自 凹非寺9位数学家、横跨30余年、5篇论文共计800+页…… 几何朗兰兹猜想,终于被证明! 它是朗兰兹纲领的几何化...
阅读原文

复旦大学:没钱标数据的有福了!利用合成数据就能大幅提升大模型归纳推理能力

夕小瑶科技说 原创作者 | 谢年年推理,作为人类的基本认知过程,对于学习、问题解决和科学发现起着至关重要的作用。常见的推理方式包括演绎推理和归纳推理。 ...
阅读原文

数学大统一理论里程碑进展:几何朗兰兹猜想获证明,论文超800页

选自quantamagazine 作者:Erica Klarreich 机器之心编译 编辑:Panda历经三十年的努力,数学家已经成功证明了一个名为「朗兰兹纲领(Langlands program)」...
阅读原文

只激活3.8B参数,性能比肩同款7B模型!训练微调都能用,来自微软

克雷西 发自 凹非寺量子位 | 公众号 QbitAI只需激活60%的参数,就能实现与全激活稠密模型相当的性能。 微软亚洲研究院的一项新研究,实现了模型的完全稀疏激...
阅读原文

一枚「弃子」打破80年黎曼猜想纪录!菲尔兹奖得主MIT大拿联手,陶哲轩转赞

新智元报道编辑:Aeneas 好困 【新智元导读】MIT数学教授Larry Guth和牛津大学菲尔兹奖得主James Maynard,在黎曼猜想方面取得了重大突破,直接打破了80多年...
阅读原文

登顶开源AI软件工程师榜首,UIUC无Agent方案轻松解决SWE-bench真实编程问题

AIxiv专栏是机器之心发布学术、技术内容的栏目。过去数年,机器之心AIxiv专栏接收报道了2000多篇内容,覆盖全球各大高校与企业的顶级实验室,有效促进了学术...
阅读原文

端侧设备AI代理优化框架问世,领域内准确率可达97%

AIxiv专栏是机器之心发布学术、技术内容的栏目。过去数年,机器之心AIxiv专栏接收报道了2000多篇内容,覆盖全球各大高校与企业的顶级实验室,有效促进了学术...
阅读原文

ICML 2024 | 梯度检查点太慢?不降速、省显存,LowMemoryBP大幅提升反向传播显存效率

AIxiv专栏是机器之心发布学术、技术内容的栏目。过去数年,机器之心AIxiv专栏接收报道了2000多篇内容,覆盖全球各大高校与企业的顶级实验室,有效促进了学术...
阅读原文

没想到!AlphaZero式树搜索也能用来增强大语言模型推理与训练

AIxiv专栏是机器之心发布学术、技术内容的栏目。过去数年,机器之心AIxiv专栏接收报道了2000多篇内容,覆盖全球各大高校与企业的顶级实验室,有效促进了学术...
阅读原文

裁决中的P与NP以及复杂性的复杂度

作者:Benjamin Skuse 译者:zzllrr小乐 如果我请你出庭作证,对一长串数字按照从低到高的顺序进行排序,与解决一个巨大的数独难题一样复杂,你可能会认为我...
阅读原文

陶哲轩点破「天机」:不懂数学别想靠ChatGPT飞升!

新智元报道编辑:Aeneas 好困 【新智元导读】冲锋在AI辅助数学研究第一线的陶哲轩,近日又有「神总结」:ChatGPT提升的,是我们在编码、图表等次要任务上的能...
阅读原文

从RLHF到DPO再到TDPO,大模型对齐算法已经是「token-level」

AIxiv专栏是机器之心发布学术、技术内容的栏目。过去数年,机器之心AIxiv专栏接收报道了2000多篇内容,覆盖全球各大高校与企业的顶级实验室,有效促进了学术...
阅读原文
123457