清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！
清华校友用AI破解162个高数定理，智能体LeanAgent攻克困扰陶哲轩难题！诺贝尔物理学奖和化学奖被AI「包圆」后，人们再次确信：基础科学研究的范式，已经被AI从根本上改变。
来自主题: AI技术研报
6648 点击 2024-10-12 14:55
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
诺贝尔物理学奖和化学奖被AI「包圆」后，人们再次确信：基础科学研究的范式，已经被AI从根本上改变。
如果你对 arXiv 的版本号有所了解，你就知道这篇论文已经更新了 4 次，现在已经来到了第 5 个版本。实际上，这个 arXiv 编号属于上海交通大学牛力团队一篇持续更新了四年的综述报告。
在加州华纳兄弟制片厂摄影棚内，数个特斯拉人形机器人Optimus在无辅助的情况下，排队走进会场。会场另一边的展览区，一台Optimus不断为客人递送零食、进行打招呼、猜拳等互动。
在AIGC 的浪潮中，对已有图片做编辑的图像编辑（image editing）技术受到了越来越多的关注。图像编辑（image editing）的原子操作包括增、删、改。
联发科技，吹响了手机品类全面进军 AI 的号角。
在当今的人工智能领域，Transformer 模型已成为解决诸多自然语言处理任务的核心。然而，Transformer 模型在处理长文本时常常遇到性能瓶颈。传统的位置编码方法，如绝对位置编码（APE）和相对位置编码（RPE），虽然在许多任务中表现良好，但其固定性限制了其在处理超长文本时的适应性和灵活性。
快感与危机并存的AI解药 国庆至今，一场由AI主导的"雷军模仿秀"已经上演。
基于虚幻引擎5，清华大学构建了一个真实、动态、开放的具身智能平台EmbodiedCity，用于评估和研究具身智能在复杂城市场景中的应用；该平台提供在线接入和离线运行两种使用方式，支持多模态场景理解、问答、对话、导航和任务规划等一系列具身智能任务。
不百分百还原出虚拟场景，效果反而更好。
AI才是短剧的最佳搭档。 本以为AI文生视频技术成熟后，视频领域才会进入人人都是导演和编剧的时代，但令人没想到的是，在可灵、Sora等文生视频大模型成熟之前，短剧时代就先到了。