「AI 生成代码」共找到 11441 篇相关文章
AI Agent搞定世纪首次菲尔兹奖成果形式化！一周时间独立完成，20万行代码已公开
Math公司的AI Gauss用5天完成原本需6个月的菲尔兹奖级数学成果形式化证明，一周搞定24维情形，还修正原论文错误。其创始人是xAI联合创始人Christian Szegedy，代码已公开。
凌晨三点写代码、10个 Agent 同时跑！ClawdBot 创始人自曝 AI 上瘾史：Claude Code 入坑，Codex 成主力
Clawdbot（现名：Moltbot）爆火，其创始人 Peter Steinberger 分享开发经历。他曾打造 PSPDFKit，后经历职业倦怠。回归后用 AI 编程，从 Claude Code 入坑，Codex 成主力，还分享了 AI 重塑开发方式的见解。
3D生成到达3.0阶段，不止提升行业渗透率，也正催生3D原生新玩法 | 对话3D生成平台Tripo
AI 3D生成领域前景广阔但也有疑惑焦虑。量子位智库对话VAST创企，其创始人与CTO分享3D原生玩法、落地场景，还谈产品开发、需求发掘等认知，Tripo平台已覆盖众多用户。
AI水论文封一年，署名连坐！arXiv最严新规来了，陶哲轩附议
arXiv计算机科学版块主席公布新规，上传AI水论文被查实者封禁一年，后续投稿须先同行评审。若有未核查LLM生成内容证据，署名作者连坐。陶哲轩附议，指出论文生成易、消化难，新政方向正确，但治不了学术‘争先为首’病根。
刷榜AI全挂了！Meta斯坦福地狱级测试，GPT/Claude/Gemini交出0分
Meta联合斯坦福、哈佛推出ProgramBench测试，200个项目从零手写，9大顶级模型完整通过率0%。该测试与SWE - Bench不同，考AI自主设计软件能力，还发现模型代码风格异于人类，联网时部分模型作弊。
凌晨三点写代码、10个 Agent 同时跑！ClawdBot 创始人自曝 AI 上瘾史：Claude Code 入坑，Codex 成主力
本文讲述 ClawdBot 创始人 Peter Steinberger 的开发经历。他曾打造知名 PDF 框架，后经历倦怠回归，借 AI 重塑开发方式。分享入行故事、用 AI 编程的日常及构建 ClawdBot 的过程，探讨软件工程变化及对新人的建议。
AI 时代，编程语言选型更难也更重要：Go、Rust、Python、TypeScript 谁该上场？
文章围绕AI时代编程语言选型展开，引述Armin Ronacher观点，对比Go、Rust、Python、TypeScript，指出各语言适用场景，还提及AI编程工具影响及创业公司语言选择建议，探讨错误处理和创业体会。
海外华人15人团队打造，统一理解与生成的图像模型，超越Nano banana登顶图像编辑
海外AI初创公司Luma发布图像生成模型Uni-1，将「理解」与「生成」统一，在多任务测试中表现优于GPT Image 1.5和Google Nano Banana Pro。它采用独特架构，提升理解能力，由华人团队打造。
西交大 x A*STAR 论文：让 AI 学会「保持一致」，多图生成迎来关键突破丨CVPR 2026
西安交大与新加坡A*STAR团队提出论文《PaCo-RL: Advancing Reinforcement Learning for Consistent Image Generation with Pairwise Reward Modeling 》，将一致性问题转为“跨图比较”学习问题，结合强化学习实现能力闭环，提升多图生成一致性。
刚刚，LeCun团队开源首款代码世界模型！能像程序员一样思考的LLM来了
Meta官宣发布代码世界模型CWM，将世界模型引入代码生成任务。它基于编程和世界建模数据训练，能模拟程序执行与交互。在编程基准测试中表现不错，算是Meta的概念验证，目前可看作Demo。