「AI新范式」共找到 11332 篇相关文章
AI证伪百年数学猜想被打假！Lean证明惊现漏洞，哥大教授破防了
OpenAI新推理模型取得十项数学进展，如证明非Sofic群存在性等。哥伦比亚大学副教授Henry Yuen对其量子并行重复定理证明既兴奋又失望，因证明有AI味且难理解。此外，Lean证伪科拉兹猜想被指利用内核漏洞，专家提醒Lean验证有局限。
一个Bug改通宵！用AI写超50%代码，只有32%资深开发者敢这么干
Fastly对美国开发者做AI生产力调研，发现高级开发者用AI交付代码量是初学者2.5倍，也揭示AI编码隐形成本。高级开发者更信任AI，而初级开发者因经验不足更谨慎，同时调研还涉及绿色编码认知。
在参与OpenAI、Google、Amazon的50个AI项目后，他们总结出了大多数AI产品失败的原因
Aishwarya Naresh Reganti 和 Kiriti Badam 参与超50个企业级AI产品构建。他们指出，如今AI产品构建成本降低，但多数仍失败。还分享开发陷阱与路径，如从低自治高控制起步、建立CC/CD框架等，也对AI未来发表看法。
取消AI考核、零裁员！股价暴跌82%后，多邻国走出了一条反硅谷之路
多邻国曾是 AI 转型标杆，股价一度暴涨，但近一年暴跌 80%。创始人 Luis von Ahn 表示不裁员，曾将 AI 应用纳入考核又取消，分享员工用 AI 开发课程案例，还谈了 AI 局限、对行业影响及公司应对策略。
独家｜浙大00后世界模型创业，完成新一轮亿元融资，已在多个产业领域实现交付
2021年浙大陈天润成立魔芯科技，早期围绕AI驱动3D内容生成。2024年底转向3D场景建模和世界模型，走纯隐式方法。团队年轻有优势，已产生收入，完成融资，将推新模型，目标是实现‘3D的ChatGPT时刻’。
7 小时连续重构不掉线！一骑绝尘的Claude 终于遇到对手：Greg Brockman亲自解读AI编程重大突破
9月16日，OpenAI推出新模型GPT-5-Codex，专为AI辅助编程工具设计。它在代理编码基准测试中表现佳，形成了覆盖各种需求的交互界面，还具有更优的后训练特性，能连续工作7小时完成复杂重构。
对话光帆科技董红光：Manus 让 Agent 走红，但真正的 AI 载体不只有手机
本文是对光帆科技创始人董红光的专访，围绕AI时代的交互与硬件趋势展开。董红光认为AI最合适载体非手机，光帆发布全球首款视觉感知AI耳机，介绍了产品设计原理、操作系统研发等，并探讨了AI硬件市场现状与未来。
上交、清华、微软、上海AI Lab等联合发布数据分析智能体综述，LLM化身数据分析师，让数据自己「说话」
传统数据分析方法耦合度高、扩展性差，大语言模型与智能体让数据分析迈向“语义理解”。上交、清华等机构联合撰写综述，回顾演进，提出新范式，总结关键技术、趋势及挑战，推动通用数据分析智能体发展。
假简历狂骗硅谷10+家AI公司、拿多头薪水被锤！印度工程师喊冤：每周拼140小时，我也很绝望
印度工程师 Soham Parekh 同时任职硅谷 10 多家 AI 公司被曝光。他回应称是为摆脱财务困境，每周工作 140 小时。事件发酵后他宣布入职新公司，大众对其评价不一。
AI在线强化学习“边做边学”，斯坦福团队让7B小模型性能飙升，甚至超越GPT-4o
斯坦福等团队提出新范式AgentFlow，由四个智能体组成，用在线强化学习持续提升智能体系统推理能力。以Qwen - 2.5 - 7B - Instruct为基座模型的它在多基准测试表现突出，甚至超越GPT - 4o等大模型。