OpenAI“宫斗”大戏让AI“对齐”（alignment）一词不胫而走。好多人认为，奥尔特曼这样的邪恶资本代言人压制坚持对齐的正义科学代言人苏茨克维，我们要站在正义的一方。事实果真如此吗？通过...

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

4月23日消息，界面新闻记者从多个渠道获悉，上一轮融资完成后，月之暗面（Moonshot AI）创始人杨植麟通过售出个人持股已套现数千万美金。作为创业公司，月之暗面目前仅成立一年。天眼查App显示...

   图源：Unsplash如果给中国大模型企业的创业图谱建立一个坐标系，位于清华大学东门外十字路口一侧的搜狐网络大厦或许是最合适的坐标原点。张朝阳可能也没想到，昔日互联网风水宝地，如今承...

4月19日，Facebook母公司Meta重磅推出了Llama3。即便大家现在对于大厂和巨头频繁迭代AI模型的行为已经见怪不怪，Meta的Llama3仍旧显得与众不同，因为这是迄今最强大的开源AI模型。Meta推出了重...

Transformers 的二次复杂度和弱长度外推限制了它们扩展到长序列的能力，虽然存在线性注意力和状态空间模型等次二次解决方案，但从以往的经验来看，它们在预训练效率和下游任务准确性方面表现不...

大半夜的，本来想睡了。然后看到昨天在我朋友圈疯狂刷屏的波士顿动力，就在刚刚，又刷了一次屏。在如今AI和具身智能爆火的今天，人形机器人的明星公司波士顿动力，昨天宣布正式下线了他们的液压...

如何复盘大模型技术爆发的这一年？除了直观的感受，你还需要一份系统的总结。今天，斯坦福 HAI 研究所发布了第七个年度的 AI Index 报告，这是关于人工智能行业现状的最全面的报告之一。打开网...

 打开网易新闻 查看更多图片 在科技领域，创新的步伐从未停歇。最近，斯坦福大学和加州大学伯克利分校的顶尖教授们联手创业，为机器人打造智能大脑，这一创举吸引了OpenAI和红杉资本等知名投资...

 就在最近，国产大模型Kimi再次引爆了舆论。3月18日，月之暗面宣布其对话式AI助手产品Kimi智能助手现已支持200万字的无损上下文输入。这个差异化的“长文本处理”的免费大模型，一下子就火出了...