「代码验证」共找到 2385 篇相关文章
Gemini 2.5 Pro 是怎么炼成的？-- gemini 2.5 技术报告阅读笔记与思考
文章是 Gemini 2.5 技术报告阅读笔记。介绍其成功点有多模态、LongContext、思考能力；还阐述模型结构、训练和数据情况，以及代码、事实性、长上下文等特定能力的提升，最后提到基于其构建的智能体。
冷门新语言AI写不动？IEEE论文：从零到及格线，MoonBit给出完整训练路线
IEEE论文聚焦新语言MoonBit和Gleam，探讨大模型代码生成能力。研究发现大模型零样本生成新语言代码能力差，few - shot和RAG有提升但有限，继续预训练及指令迁移可显著提高模型表现。
来自 OpenAI 离职员工的爆料：关于 OpenAI 的一些思考
OpenAI 前员工分享工作感悟，谈及公司文化、代码管理、个人收获及 Codex 发布情况。指出公司成长快但扩张中问题多，文化自下而上且精英主义，代码库大且围绕聊天构建，Codex 发布迅速成果佳。
Claude一夜爆更自修bug，PR自己绿了！全球程序员：「摸鱼」正式合法
Claude Code上线「云端自动修复」功能，可自动跟进PR，排查问题、写代码并推送，解放开发者双手。同时，科研团队用其打造Claudini，迭代56次发现新型越狱算法，Claude Code还能自进化写代码。
拒绝Vibe Coding！大神揭秘8套AI编程模式
Datasette创始人Simon Willison公开指南，教专业开发者用Claude Code等AI编程工具提效，总结8大实战模式重构程序员工作方式。还提出认知债务概念，Hacker News对此有不同观点。
如何让AI推荐企业官网？官网GEO优化怎么做？【必看】
白杨SEO从网站代码优化、站内内容、站外推广三方面，介绍让AI推荐企业官网及做好官网GEO优化的方法。如代码优化要主动提交网站、部署SSL证书等，还给出企业官网老板执行清单。
开发速度不是瓶颈
文章围绕‘凭感觉编程’展开，指出开发速度并非产品成功的关键制约因素。分析原型与产品差异，以亚马逊、谷歌为例说明产品需不断尝试。强调真正瓶颈是验证和沟通，编码速度从来不是问题。
WaveSpeedAI 成泽毅：AI Infra 本来就是一门能挣钱的生意
WaveSpeedAI成泽毅本在大厂做Infra，后创业。他先在社区验证技术价值，创业首日就定全球化策略。WaveSpeedAI团队小而灵活，用利他思维合作，在视频生成领域降成本，验证了推理基建有市场。
Anthropic刚刚宣布Claude Sonnet 4支持100万token上下文窗口
Anthropic官方公告，Claude Sonnet 4上下文窗口扩大到100万tokens，是之前5倍。能一次读懂大代码库或多篇论文，可用于代码分析、文档处理等。超20万tokens价格翻倍，现仅对Tier 4用户测试。
当 AI 下场炒 A 股，「推理」成了新的直觉
海外“AI Trading Battle”实验中，不同大模型交易表现差异大。港科大等团队提出RETuning方法，基于A股数据集验证，显著提升大模型金融预测准确率、推理可解释性，是综合改进方案，但有算力等局限。