Transformer架构在生成式人工智能诸多领域展现出非凡的能力：GPT3，GPT3.5，GPT4，sora， Llama2 ，Gemini，通义千问，文心一言等等全部建立在Transformer上。然而，在解决复杂的规划与推理任...

大型科技公司正忙着升级自家的大型语言模型。据报道，OpenAI和Meta即将发布各自的新版人工智能（AI）模型，他们声称这些模型将能够进行推理和规划，这是在机器中实现超人认知的关键步骤。本周，...

 成立仅9个月的AI初创公司拉普拉斯智能（Laplace AI），已经用原生智能生产力操作平台帮助企业用户实现智能体落地了！平台名为拉普拉斯智能实验室（Laplace AI Lab），入口统一，用自然语言即...

英伟达最新大动作来了——通用具身智能体。打开网易新闻 查看更多图片 这则消息是由英伟达高级科学家Jim Fan透露，他表示： 我将和老队友Yuke Zhu一起，在英伟达内部组建一个新研究小组——GEA...

 文中提出了一个半自动数据集创建管道Gen4Gen，将个性化概念与文本描述结合成复杂的组合，创建了基准测试数据集MyCanvas，利用CP-CLIP 和 TI-CLIP指标证明了该方法的有效性。过去几年里，基于...

 纯国产GPU的万卡集群，它来了！而且还是国内首个全功能GPU，兼容CUDA的那种。  打开网易新闻 查看更多图片 这个集结了超过10000张高性能GPU的超复杂工程，它的算力有多大？不卖关子，直接揭...

 前两天我看到一个科学探秘的视频，觉得非常的有深度，里面的问题和我们现在科技的发展息息相关，其中提到的问题主要就是针对现在科技发展中的人工智能，人型机器人以及对生命或者是生物的定义...

 让陶哲轩大神赞不绝口的形式化研究神器Lean，运行LLM的推理却有个bug。最近，加州理工团队解决了这个bug，把80%以上的数学证明步骤，都自动化了！Lean Copilot，让陶哲轩等众多数学家赞不绝口...

无需任何修改转换，AMD显卡也跑起原版CUDA程序了！英国一家初创公司，推出了针对AMD的CUDA程序编译工具，而且免费商用。工具一经发布就引发了网友们的广泛热议，并登顶了HackerNews热榜。打开网...

2024 年开年，Java “十亿行挑战”（1BRC）火爆外网。该挑战赛要求开发者编写一个 Java 程序，从一个包含十亿行信息的文本文件中检索温度测量值，并计算每个气象站的最小、平均值和最高温度。“...