「GPT - 4.1」共找到 3440 篇相关文章
实测完“灵光”，我意识到人类对 AI 助手的开发不足1%
作者实测蚂蚁集团的AI应用「灵光」，它是面向普通人的零门槛全模态AI助手，能30秒生成可互动小应用。作者测试其三大功能，认为人类对它的开发不足1%，它或成探索世界的伙伴。
两月蒸发1.6万亿：SaaS 被AI「杀死」了吗？ | GAIR Live 025
今年初，北美软件股两月蒸发超1.6万亿美元，引发对SaaS是否被AI“杀死”的讨论。雷峰网GAIR Live线上圆桌中，三位行业老兵探讨了SaaS现状与未来，涉及股价暴跌原因、护城河、商业模式、产品形态及转型等方面。
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
字节跳动Seed团队与南京大学联合发布CriticLean框架，将数学自然语言到Lean 4代码的形式化准确率从38%提升至84%。该框架创新性地将评估模型置于核心，解决语义对齐等问题，还构建了相关基准测试和数据集。
刚刚，Anthropic 53页绝密报告曝光：Claude自我逃逸，将引爆全球灾难！
Anthropic发布53页报告预警，Claude Opus 4.6风险逼近ASL - 4，若自我逃逸将致全球失控。2026年AI领域状况频出，安全专家离职，多起危险事件凸显AI安全问题严峻。
全网疯传的《OpenClaw橙皮书》更新了
《OpenClaw橙皮书》爆火，X浏览量超180万，飞书文档2天访问超10万+。v1.1版本新增国产Claw产品选购指南、安全事件及OpenClaw新功能。文档用Claude Code创作，有大量人工环节。
5分钟上手，无照就能飞：91万「空中F1」已经排到了2027
Jetson公司推出个人飞行器Jetson ONE，号称“空中F1”，亮相2025年UP.Summit并举办飞行比赛。它性能亮眼、安全性高，无照5分钟上手，售价91万，订单排到2027年。此外还介绍了其他飞行器。
「斯坦福AI小镇」创业即获投1亿美元！李飞飞卡帕西都投了
2023年斯坦福团队构建AI小镇Smallville，其智能体可自主生活。如今团队创业成立Simile，获1亿美元融资，李飞飞、卡帕西跟投。它将升级架构构建大规模模拟平台，用于人类决策的风险预测。
从6人日到1人日：一次AI驱动的客户端需求开发实战
文章分享AI驱动客户端需求开发实战，从实践活动汇总AI Coding问题，给出解决建议。以穿搭动态框架需求为例展示开发过程，对比效率提升300%，还探讨需求拆分、Prompt编写等问题，介绍业务开发范式。
ICCV 2025万篇投稿破纪录，作者被逼全员审稿！网友痛批不如GPT
ICCV 2025论文投稿量达11152篇创纪录，评审结果公布后引热议。网友吐槽部分评审意见质量差，还有作者不满全员审稿制度。大会禁止用大模型评审，也暴露了同行评审流程的官僚问题。
清华SageAttention3，FP4量化5倍加速！且首次支持8比特训练
清华大学陈键飞团队提出针对BlackWell架构的SageAttention3，实现5倍于FlashAttention的推理加速，首次支持8比特训练。在多种大模型上保持端到端精度，代码将分别于6、7月开源。