「软件开发范式」共找到 2845 篇相关文章
全网惊了！陶哲轩带AI下场，33分钟「盲证」数学
菲尔兹奖得主陶哲轩携手ChatGPT打造开源数学概念验证工具，数天迭代至2.0版，可全自动或半自动证明。还支持渐近估计，上手简单、可扩展性强。此外，他用AI 33分钟“盲做”一页数学证明，重塑研究范式。
Karpathy刚进Anthropic，转头又投了它
AI初创公司Engram成立8个月，估值达6亿美金，获9800万美元融资。它聚焦AI记忆，用Cartridges技术降内存、提速度，将推理和记忆层拆开，团队成员背景强大，押注AI范式新转向。
龙虾之后，为什么说「主动式智能」才是Agent的终极形态？
OpenClaw爆火展现AI Agent主动性，但止步屏幕。Looki最新上线Proactive Intelligence Engine，将自动驾驶工程范式迁移到可穿戴设备，实现从被动到主动的跨越，面临技术和隐私挑战。
Svelte 团队成员开源新框架 Ripple，又一个想“改写前端”的框架？
Ripple是全新开源前端框架，由Svelte核心维护者打造，融合多框架理念，采用TS优先设计，有细粒度响应式机制等，目标是带来更简单开发体验，团队还探索集成AI能力，目前处于早期阶段。
DeepMind招募波士顿动力前CTO，哈萨比斯点赞宇树
据Wired报道，谷歌DeepMind聘请波士顿动力前CTO Aaron Saunders，他将解决物理世界实现AGI的硬件问题。这是谷歌机器人战略的人才回流，Hassabis想让Gemini成机器人操作系统，他看好宇树但更关注软件。
微软 Agentic 组织：下一代 AI 系统
微软研究院提出全新推理范式AsyncThink，让LLM从单打独斗进化成带团队的项目经理。它把并发控制转为纯文本协议，经两阶段训练，实验中全方位碾压传统方法，还具跨领域泛化能力。
把AI装进数据库：PostgresML和Korvus的新思路
当下机器学习应用开发流程复杂，开源数据库Postgres带来惊喜。PostgresML团队让AI模型跑在数据库中，介绍了PostgresML和Korvus两个关键项目，二者结合降低复杂度，让‘在SQL里跑AI’成工程现实。
腾讯悄悄上线了“Claude Code”，居然还支持微信登录。
腾讯悄悄上线CodeBuddy Code（Claude Code），定位为AI CLI，能在命令行完成编程任务。作者测试用其开发MCP服务，速度快且功能全，还介绍使用方法，不过产品有稳定性问题，仍有潜力。
GPT4核心成员、清华校友赵晟佳任Meta超级智能实验室首席科学家
Meta约一个月前宣布建立「Meta超级智能实验室」，为重振Llama雄风招揽人才。扎克伯格任命GPT4核心成员、清华校友赵晟佳为该实验室首席科学家，其履历亮眼，新研究范式或指明Meta科研方向。
对话西工大徐韬：昇腾生态如何为AI创新装上涡轮增压？｜甲子光年
本文讲述西工大徐韬团队与昇腾平台深度合作的故事。他们从算子研究攻坚底层技术，开发抑郁症初筛等系统。昇腾还助力教学，让学生实践操作。未来，更多人将参与国产AI源头创新。