在视觉提示中加入「标记」，微软等让GPT-4V看的更准、分的更细
全新视觉提示方法 SoM（Set-of-Mark），让 OpenAI 多模态大模型 GPT-4V 在视觉内容理解方面有了质的提升。最近一段时间，我们见证了大型语言模型（LLM）的显...
陶哲轩上手Copilot：不可思议，它能从定理名字猜出我想要的方向
尝鲜 GPT-4 之后，陶哲轩又用上了 Github Copilot。这一次，他的试用场景是学习 Lean 语言并利用其形式化数学定理。对于大模型来说，形式化的定理证明也算一...
AIGC时代的视频扩散模型，复旦等团队发布领域首篇综述
AI 生成内容已经成为当前人工智能领域的最热门话题之一，也代表着该领域的前沿技术。近年来，随着 Stable Diffusion、DALL-E3、ControlNet 等新技术的发布，A...
数学逻辑和计算机程序代码之间的深层联系：互为镜像
数学证明=计算机程序？什么是柯里-霍华德对应？一些科学发现被赋予了重要的意义，因为揭示了一些新的东西，比如 DNA 的双螺旋结构或黑洞的存在。但是，揭示出...
ChatGPT与DALL·E 3之间的行业「黑话」被人发现了
原来，礼貌和强调（emphasis）在大型语言模型（LLMs）的沟通中也发挥着意想不到的作用。上个月底，OpenAI 发布了最新图像生成器 DALL・E 3，除了炸裂的生成效...
解决大模型复现难、协作难， 这支95后学生团队打造了一个国产AI开源社区
过去十年间，AI 技术经历了巨大的飞跃，无论是在自然语言处理、图像识别，还是在更多的创新领域，AI 的影响已无所不在。伴随着研究数量的爆炸性增长，学术界...
清华朱文武团队：开源世界首个轻量图自动机器学习库AutoGL-light
清华大学朱文武教授团队自 2020 年发布智图库（AutoGL）以来，在图自动机器学习的可解释性和可泛化能力等方面取得新进展，特别关注于图 Transformer、图分布...
220亿晶体管，IBM机器学习专用处理器NorthPole，能效25倍提升
IBM 再度发力。随着 AI 系统的飞速发展，其能源需求也在不断增加。训练新系统需要大量的数据集和处理器时间，因此能耗极高。在某些情况下，执行一些训练好的...
有了GPT-4之后，机器人把转笔、盘核桃都学会了
GPT-4 和强化学习强强联合，机器人的未来将是什么样子？在学习方面，GPT-4 是一个厉害的学生。在消化了大量人类数据后，它掌握了各门知识，甚至在聊天中能给...
聚焦计算赋能创新，第三届智能计算创新论坛成功举行
新型计算方法的最新发展状况如何？能够帮助实现智能计算系统的先进技术是怎样的？如何利用智能方法辅助计算系统设计、调度和理论研究？怎样推动智能计算软硬...
AI中国(aicn.me)致力于收集与AI相关的热门工具，包括但不限于ChatGPT、AI视频、AI办公、AI语音等领域，并为广大AI爱好者提供学习平台，降低获取学习资源的成本。同时，同步分享最新的行业前沿AI工具和网站，旨在帮助AI爱好者不断探索AI技术的发展。
