让陶哲轩大神赞不绝口的形式化研究神器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的响应和输出速度都突出一个“快”。  打...

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

12月5日，“2023新一代人工智能（深圳）创业大赛”颁奖典礼在深圳举办。大赛最终角逐出一等奖1名，二等奖3名，三等奖6名。深圳市委常委、宣传部部长张玲，宝安区委副书记、区政府党组书记、区长...