「证明者 - 验证者」共找到 1486 篇相关文章
Karpathy：写了20年代码，现在像作弊
Karpathy曾造词“vibe coding”，一年后弃用。他开源autoresearch项目，让AI Agent自主跑实验，自己不写代码。他还展示家庭监控分析系统也由Agent完成。他提出“agentic engineering”，认为工具虽变，但深度技术专长更重要。
突发，普林斯顿CS博士后猝然离世！清华本科毕业，刚完成论文答辩
普林斯顿大学电气与计算机工程系博士后Haoran Li于9月25日离世，校方强调心理与牧灵支持。科研群体光环背后是高压力与孤独，海外高校有相关支持举措，国内则需完善机制。
审美在线、随叫随到、月薪19刀——Lovart把AI设计师这件事做认真了
Lovart适合无设计预算的人，将专业设计师装进AI工具。其Brand Kit解决风格不稳定问题，Font Generator可生成专属字体，Create Skill能固化学习成本，还有Export PSD、Mock Up等实用功能，月费仅19美元。
InfoQ 2025 年趋势报告：软件架构和设计
InfoQ 2025 年软件架构和设计趋势报告，借助《跨越鸿沟》模型分类。涉及 AI 多方面趋势，如 LLM 普及但应用场景存疑，还有 Agentic AI、SLM 等创新领域，以及 RAG、AI 辅助开发等不同阶段趋势。
实测GPT-image-2，设计行业真的完蛋了吗？
GPT-image-2正式上线，实测效果震撼，在文字渲染、世界知识、修改精准度和审美方面有显著进步。它让画图变得不再稀缺，冲击设计行业，但设计核心是思考，画图员时代结束，设计师时代刚开始。
OPPO AI重磅发布：深度研究智能体，离“真正好用”还有多远？我们给大模型做了一次全身体检
2025年，Deep Research成AI热点，OPPO AI Agent Team对大模型评测。发布论文，开源评测基准FINDER和失败分类体系DEFT，揭示AI“装懂”“缺乏韧性”问题，还分析模型表现并给出发展建议。
AI 时代的洞察方法论：结构化思维与能力迁移
文章以高盛数字化架构设计为例，探讨AI时代技术分析的能力迁移。指出AI使信息采集整合成本降低，技术分析重心从找信息转向构建模型，建模仍是洞察主战场，AI可加速知识铺垫，但模型切换需人类完成。
作为一个AI博主，我劝你先别急着用AI。
作者结合宝玉老师观点，认为想深耕某领域成专家，应在独立练习1000小时后再用AI。还分享自身创作中用AI辅助情况，强调品味重要性，称1000小时练习是建立品味体系的锚定。
ICML 2026前瞻：投稿翻倍背后，机器学习正在换挡
第43届国际机器学习大会（ICML 2026）7月6 - 11日将在韩国首尔举行，主题为‘Machine Learning for the Real World’。今年投稿量翻倍，接收率26.6%，还做了两项制度调整。论文反映出LLM推理、AI安全、模型压缩等趋势，中国研究者表现亮眼。
从传统编程转向大模型编程
文章指出大模型编程时代，开发者要从‘代码产出者’变为‘文档定义者’，介绍其优势、人+AI结对编程模式，还提及模型工具技巧、开发流程、常见陷阱及应对策略，强调文档驱动和安全合规。