AIGC动态
AIGC,AGI,人工智能
英伟达再破世界纪录，每秒1000 token！刚刚，全球最快Llama 4诞生
英伟达通过Blackwell架构在AI推理领域取得了突破性进展，单节点（8颗Blackwell GPU）的DGX B200服务器实现了Llama 4 Maverick模型每秒单用户生成1000个token...
突发！美国新法案，10年内禁止监管AI
美国众议院近日通过了《HR1》法案，该法案将在未来10年内禁止美国各州对人工智能（AI）进行监管。这一决定对微软、OpenAI、谷歌、亚马逊等科技巨头具有重要意...
现在，你终于可以用飞书搭自己的AI知识库了。
飞书作为一款深度集成的办公平台，已经成为许多企业和个人的核心工具，尤其是在数据管理和知识沉淀方面。作者作为飞书的深度用户，长期依赖飞书进行文档创建...
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
自动化定理证明（ATP）是人工智能、数学及形式化方法领域的核心挑战，旨在为数学或逻辑陈述自动生成形式化、可验证的证明。尽管大语言模型（LLM）在非形式化...
从 DeepSeek 部署看，华为如何让 MOE 架构“迎来”海量“专家”？
模型开发已经从早期的算法层优化转向系统工程层面的深度创新，标志着技术领域的重大转变。随着数字化时代的比特流量逐渐转向Token经济体系，国内Token日消耗...
产业不需要炸裂的AI，但需要有用的AI
飞书最新推出的「知识问答」功能，通过AI技术激活企业内部沉淀的信息资产，实现了员工提问即答的高效工作模式。这一功能不仅能够从聊天记录、文档、知识库等...
砸65亿美元招揽58岁乔布斯门生！55名苹果元老工程师尽归OpenAI，奥特曼终拿下“盯了”两年多的AI产品！
OpenAI的CEO Sam Altman宣布收购由苹果前高管Jony Ive领导的初创公司IO，交易金额高达65亿美元。此次收购主要是全股权交易，OpenAI将把IO的55名工程师和产品...
独家提问Google CEO Pichai：低谷时继续猛投AI，才让Google有了今天
在Google I/O的第二天，Google CEO Sundar Pichai与硅星人进行了交流，分享了Google在人工智能、搜索和广告等领域的战略与进展。Pichai强调，Google始终坚持...
Agent真的卷疯了，AI办公Agent也来了。
昆仑万维推出的Skywork Super Agents是一款专为办公场景设计的垂直领域Agent产品，旨在通过智能化的方式提升办公效率。该产品分为海外版和国内版，分别面向不...
陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车
数学大师陶哲轩在第三支Lean 4自动化数学证明视频中，展示了GitHub Copilot在处理经典分析学问题「ε-δ」极限时的表现。视频中，陶哲轩通过Lean语言进行形式化...
