陶哲轩18个月没搞定的数学挑战,被这个“AI高斯”三周完成了
不得了,这个名叫Gauss(高斯)的新AI Agent,有点杀疯了的感觉。因为它只用了三周的时间,就完成了陶哲轩和Alex Kontorovich提出的数学挑战——在Lean中形式化强素数定理(Prime Number Theorem,PNT)。
2021年Graph ML热门趋势和主要进展总结
这个领域太大了,如果我错过了一些重要的东西,请在评论中告诉我们!Graph Transformers + Positional Features。
神经网络重正化群研究取得进展
它不仅是研究相变与临界现象以及强耦合问题的有力工具,更塑造了物理学家的世界观。人们在深度学习的应用实践中观察到,深层神经网络具有逐层提取特征的能力。
进展|神经网络重正化群
它不仅是研究相变与临界现象以及强耦合问题的有力工具,更塑造了物理学家的世界观。人们在深度学习的应用实践中观察到,深层神经网络具有逐层提取特征的能力。
华为诺亚综述:生成式模型如何用于决策?
机构:华为诺亚决策推理实验室作者:李银川、郝建业等人近年来,生成模型在内容生成(AIGC)领域蓬勃发展,同时也逐渐引起了在智能决策中的应用关注。由于生成模型能够处理复杂的数据分布,并具备强大的建模能力,它们可以被引入决策系统,用于生成引导代理进入高奖励状态的轨迹或中间子目标。
复杂系统自动建模综述:描述、预测与理论发现
Li, R., Dong, L., Zhang, J., Wang, X., Wang, W. X., & Di, Z & Stanley, H. E. . Simple spatial scaling rules behind complex cities. Nature Communications, 8, 1841. 下载地址:见原文链接。
流匹配成ICML 2025超热门主题!网友:都说了学物理的不准转计算机
机器之心报道编辑:笑寒流体力学融入生成式 AI ,构建了一种非常简洁、优雅的形态。众所周知,第 42 届国际机器学习大会(ICML)将于 7 月 13 日至 19 日在加拿大温哥华盛大举行。
近500页史上最全扩散模型修炼宝典,宋飏等人一书覆盖三大主流视角
机器之心报道编辑:冷猫、陈陈关于扩散模型的一切,宋飏等人写成了 460 多页的书。扩散模型(Diffusion Models) ,几乎重塑了整个生成式 AI 的版图。从图像到音频,从视频到 3D 世界。
“AI孙燕姿”是怎样炼成的
上海科技在近期推出「科技时刻Moments」系列关注报道科技人在科技圈探索与创新的“硬核时刻”。最近,视频网站音乐区up主掀了“AI孙燕姿”的风潮。这种使用AI技术提取某位歌手的音色,再用其替换另一位歌手音色的方式,可以实现接近歌手本人翻唱的逼真效果。
上交大、上海人工智能实验室等提出基于配准的少样本异常检测框架
来自上海交通大学 MediaBrain 团队和上海人工智能实验室智慧医疗团队等的研究人员提出了一种基于配准的少样本异常检测框架 RegAD,用于学习多个异常检测任务之间共享的通用模型。近年来,异常检测在工业缺陷检测、医疗诊断,自动驾驶等领域有着广泛的应用。