打开网易新闻 查看更多图片 过去的2023年，被称为AI元年。自从GPT-4发布以来，各种颠覆式的“震惊体”科技报道纷至沓来。虽然一年过去，AI并没有明显地改变我们的生活和工作，但是却能让我们...

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

又一个AI融资神话出现。消息传来，本周AI芯片公司Etched宣布完成 1.2 亿美元(约人民币8亿元)的 A 轮融资，投资阵容再次集结了一众硅谷大佬。此次融资备受关注，在于Etched向英伟达发起了挑战宣...

OpenAI，悄然更改了核心价值观（Core Values）。曾经的它，在自家官方网站中列出的六大核心价值观是这样的： Audacious（大胆）、Thoughtful（深思熟虑）、Unpretentious（谦逊）、Impact-driv...

 ChatGPT最新漏洞曝光，一句话就能让训练数据原封不动地泄露。只需要让它重复一个词，它就会在一定次数后“发疯”，甚至毫无防备说出某人的个人隐私信息。打开网易新闻 查看更多图片 DeepMind...

从设计、编码到测试、部署，甚至是运维……软件开发的整个流程，可以通通交给AI了！一款覆盖软件开发全生命周期的端到端AI智能助手，让分散的软件开发操作变得集成化、智能化。这款AI助手专门针...

 近日，Stability AI又发布了新作SV3D，基于视频扩散模型的SV3D将3D模型生成的效果提升了一大截，模型权重已在huggingface开放。Stability AI又有新动作了！这次给我们端上来的是全新的3D生成...

 如何在不到一年的时间里创办一家公司、筹集资金、购买芯片，并搭建出追赶 Gemini pro/GPT 3.5 的 LLM？很多人都对构建基础架构和训练大语言模型和多模态模型感到好奇，但真正走完「从零开始」...

OpenAI这次终于不放卫星了——最新发布的SearchGPT，已经有第一波尝鲜者展示了自己的体验。打开网易新闻 查看更多图片 据做测试的博主介绍，SearchGPT的响应和输出速度都突出一个“快”。  打...

人类与一个有灵魂的机器人发生故事，这个机器人“生活”在人类世界，艰难地体会着人类的喜怒哀乐……机器人的故事，是科幻剧最喜欢展现的一个题材，然而在真实世界中，我们却很难看到一个真正意...