「代码补全」共找到 3409 篇相关文章
AI Agent搞定世纪首次菲尔兹奖成果形式化！一周时间独立完成，20万行代码已公开
Math公司的AI Gauss用5天完成原本需6个月的菲尔兹奖级数学成果形式化证明，一周搞定24维情形，还修正原论文错误。其创始人是xAI联合创始人Christian Szegedy，代码已公开。
几分钟扫完细菌全基因组，MIT团队用AI找出大量未知的抗病毒防御系统
MIT科学家开发AI模型DefensePredictor，能从细菌基因组快速找防御系统。用约1.7万个细菌基因组训练，借助ESM2蛋白语言模型，几分钟扫描完一个细菌全基因组，还开源供科学界使用，潜力巨大。
Artificial Analysis 榜单第二，SkyReels-V4 宣告 AI 视频进入「全栈统一」阶段
昆仑天工的 SkyReels-V4 在 Artificial Analysis 文生视频榜单排第二，ELO 评分 1090。它有「运动参考」能力，能覆盖视频创作全工作流，背后靠统一拼接框架和双流 MMDiT 架构，体现 AI 行业「统一」趋势。
国产王炸！上海AI Lab开源Lumina-DiMOO，开创多模态理解与生成新范式
上海人工智能实验室等多机构推出多模态生成与理解统一模型Lumina - DiMOO，采用全离散扩散架构。它解决传统多模态架构问题，有全离散扩散建模等四大创新，性能在多基准测试中领先，应用前景广。
3A大作！阿里ROLL团队从基建->算法->机理，推动RL4LLM全栈协同优化
阿里巴巴ROLL团队联合高校推出「3A」协同优化框架，推动「强化学习用于大语言模型（RL4LLM）」迈向新范式。Async架构提升GPU利用率，AsyPPO降低计算资源消耗，Attention机制提升训练效率与可解释性。
具身智能体不再失忆！智源新记忆系统让机器人秒变熟人，支持终身记忆
智源研究院等联合提出全新终身记忆系统RoboBrain-Memory，是全球首个为全双工、全模态模型设计的系统。它能解决具身智能体交互问题，实现类人长期个性化交互，在多方面表现优异，有广泛应用前景。
Stripe x Cursor，硅谷两代“金童”对谈: 未来5年IDE里将不再是代码
本文是 Cursor CEO Michael Truell 和 Stripe CEO Patrick Collison 的深度对谈，讨论了 Stripe 的技术实践、编程的未来。如 LLM 会改变 IDE，未来编程更重需求描述；还提到 Stripe 的技术选型、API 重写计划等。
实测字节扣子空间：AI 播客比真人丝滑，Agent 能打 80% 的工
本文对字节跳动旗下 Agent「扣子空间」进行实测。它上线新玩法一键生成播客，相比通用 Agent 能力更丰富。此外，它还具备搜图、深度分析、写代码、开发网站等功能，兼具通用能力与低代码开发特点。
腾讯版Claude Design来了：多人实时同屏审设计稿，一键转代码直通IDE
腾讯公测AI设计智能体平台Ardot，有一句话生成可编辑UI设计稿、Figma文件零成本导入、一键转代码直通IDE、多人在线评审等功能。它能提升前期出稿效率，支持局部精准微调，适配主流IDE。
AI编程界炸出新黑马！吊打Cursor、叫板Claude Code，工程师曝：逆袭全靠AI自己死磕
近期，AI编程黑马AmpCode崛起，与Claude Code并列S级，吊打Cursor。Sourcegraph工程师分享其研发理念，认为应放权给模型。此外，还探讨了企业对AI工具的分歧、编程工具变革及AI对开源的影响。