数学逻辑和计算机程序代码之间的深层联系：互为镜像
数学证明=计算机程序？什么是柯里-霍华德对应？一些科学发现被赋予了重要的意义，因为揭示了一些新的东西，比如 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 是一个厉害的学生。在消化了大量人类数据后，它掌握了各门知识，甚至在聊天中能给...
聚焦计算赋能创新，第三届智能计算创新论坛成功举行
新型计算方法的最新发展状况如何？能够帮助实现智能计算系统的先进技术是怎样的？如何利用智能方法辅助计算系统设计、调度和理论研究？怎样推动智能计算软硬...
评论能力强于GPT-4，上交开源13B评估大模型Auto-J
随着生成式人工智能技术的快速发展，确保大模型与人类价值（意图）对齐（Alignment）已经成为行业的重要挑战。虽然模型的对齐至关重要，但目前的评估方法往往...
智加科技多项成果亮相ITS World Congress 两款智能重卡计划量产
2023年10月16日-20日，第29届智能交通世界大会（ITS World Congress）在苏州国际博览中心成功举办。智能交通世界大会被誉为智能交通领域的“奥运会”，是智能交...
参数少近一半，性能逼近谷歌Minerva，又一个数学大模型开源了
大模型家族来了一个专门解决数学问题的「新成员」——Llemma。如今，在各种文本混合数据上训练出来的语言模型会显示出非常通用的语言理解和生成能力，可以作为...
AI中国(aicn.me)致力于收集与AI相关的热门工具，包括但不限于ChatGPT、AI视频、AI办公、AI语音等领域，并为广大AI爱好者提供学习平台，降低获取学习资源的成本。同时，同步分享最新的行业前沿AI工具和网站，旨在帮助AI爱好者不断探索AI技术的发展。
