AIGC动态
AIGC,AGI,人工智能
陶哲轩用AI证明方程理论，19天进度99.99%！论文即将上线
陶哲轩领导的方程理论项目取得了显著进展，目前完成度已达99.9963%。该项目汇集了专业和业余数学家、自动定理证明器、AI工具以及证明辅助语言Lean，旨在描述4...
李飞飞「数字表兄弟」破解机器人训练难题！零样本sim2real成功率高达90%
李飞飞团队提出了一种名为“数字表亲”的新方法，旨在解决机器人学习中模拟数据与现实环境差异的问题。数字表亲是一种虚拟资产，它不像数字孪生那样精确模拟现...
比飓风更可怕的，是一张 AI 生成图片
飓风“海伦妮”在美国南部多州造成严重破坏，与此同时，一张AI生成的图片在社交媒体上引发广泛关注，成为两党争论的焦点。共和党成员Amy Kremer分享了一张小女...
扩散模型训练方法一直错了！谢赛宁：Representation matters
纽约大学的研究者谢赛宁及其团队提出了一种名为REPresentation Alignment（REPA）的表征对齐技术，旨在简化训练扩散Transformer的过程。该技术通过将预训练自...
怎么才能算AI智能体？
科技界对AI智能体的兴趣不断增长，但市场上真正自主的基于大型语言模型（LLM）的智能体尚未出现。许多所谓的智能体实际上是效果不佳的“废物机器人”。即使能够...
首个o1复现开源RL框架OpenR来了，UCL、上交等高校联合团队发布
由伦敦大学学院（UCL）、上海交通大学、利物浦大学、香港科技大学（广州）和西湖大学联合研究的首个类o1全链条训练框架「OpenR」已开源，旨在提升大型语言模...
没上过大学的“天才少年”大战OpenAI！偷架构？偷论文？到底谁在剽窃AI 开源项目
OpenAI最近发布了一个名为Swarm的开源框架，旨在帮助开发者构建、编排和部署多代理系统。Swarm框架的核心是智能体和交接两个基础抽象，智能体是特定指令与工...
SpaceX“筷子接火箭”：The future should look like the future
SpaceX公司的“星舰”火箭成功完成了第五次试飞，这次试飞的亮点是首次尝试使用名为Mechazilla的机械臂来捕获一级火箭助推器“超重”。这个71米高的庞然大物是人...
用了Kimi探索版的AI搜索之后，Perplexity只能当背景板了
Kimi探索版是一款旨在解决复杂问题搜索的AI产品，它通过模拟人类的推理和思考能力，对复杂问题进行拆解，逐步解决。与传统搜索引擎不同，Kimi探索版能够像人...
展会资讯 | 一键收藏！湾芯展SEMiBAY观展攻略，助您轻松高效逛展！
首届“湾芯展SEMiBAY”——湾区半导体产业生态博览会将于10月16日至18日在深圳会展中心（福田）举行。此次展会展览面积达40000平方米，将有超过400家全球半导体产...
