原文 | 《纽约时报》，翻译 | 适道 上世纪80年代，Hinton看《终结者》时，没有被影片中的AI毁灭世界困扰。相反，他很高兴看到神经网络技术被描绘得如此有前途。  数十年来，Hinton设计了很...

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

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

新质生产力工业母机相关企业：数控 ，技术，数控，重机，装备等。打开网易新闻 查看更多图片 Sora相关概念企业：光标，在线，智能等。数据中心相关企业：新网，香江，数据等。打开网易新闻 查看...

AlphaFold 3再登Nature！这次重磅升级，不再仅限于蛋白质结构预测——可以以前所未有的精度预测所有生命分子的结构和相互作用。 只有了解它们如何在数百万种组合中相互作用，我们才能开始真正...

前谷歌大脑科学家Yi Tay去年3月离职后，创办了一家初创公司。创业一年，他发文表示「痛并快乐着」。 在这篇博文中，我讨论了： 1. 在不同计算提供商中采购计算和差异的经验。我们最大的发现/惊...

来自UC伯克利，港大等机构的研究人员，开创性地提出了一种「白盒」Transformer结构——CRATE。他们通过将数据从高维度分布压缩到低维结构分布，实现有效的表征，从而进一步实现了有竞争力的模型...

 极限量化，把每个参数占用空间压缩到1.1bit！IEEE Spectrum专栏，一种名为BiLLM的训练后量化（PTQ）方法火了。通俗来讲，随着LLM参数规模越来越大，模型计算的内存和资源也面临着更大的挑战。...

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

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