「AI赋能」共找到 11840 篇相关文章
陶哲轩，用AI爆改科研范式
菲尔兹奖得主陶哲轩让ChatGPT把数学论文翻译成Lean代码，与AI合作完成埃尔德什第613号问题反例的形式化证明。人机配合虽有波折，但AI节省了时间。此外，两位数学家也用AI验证第707号问题反例，数学证明正进入‘AI辅助时代’。
AI Infra进入自进化时代！清华团队用「AI优化AI」造就国产万亿Token工厂
AI自主优化RSI成新焦点，被视为通往AGI的关键路径。硅谷为此沸腾，中国也不落后。清昴智能由清华团队创立，率先打造自进化算力底座，还基于国产算力打造万亿Token工厂，目标是让优化成为持续运行的基础能力。
AI写爆款博客火出圈，主笔竟是Claude！
Anthropic为Claude开博客展示写作能力，内容经团队把关。AI写内容已不新鲜，但多有翻车。普华永道研究称AI提升员工创效，重塑企业运营逻辑。多公司推行AI战略，不过学生用AI作弊引担忧。
CSDN 创始人蒋涛：“码盲”消失，新程序员崛起
CSDN 创始人蒋涛在大会演讲指出，从传统互联网到 AI 是底层变迁，要翻越美国‘三座大山’实现从 Global AI 到 Local AI。他预言‘码盲’将消失，新程序员崛起，AI 还能重写硬件，中国机遇大。
AI逼疯七巨头，马斯克们深陷中年危机！
人工智能来势汹汹，科技巨头们陷入「AI焦虑」。谷歌搜索危机、苹果AI滞后、马斯克的特斯拉销量滑坡，巨头们面临挑战，谁会成AI时代「诺基亚」尚不明朗，新兴模型也带来新变数。
一个APP就能拍短片！人物、字幕、BGM……AI Agent统统自己搞定
剪映旗下内容创作Agent小云雀上线新功能，可文生数字人，还能根据提示词生成视频。它有“参考图生视频”玩法，能解决图片混剪难题。依托字节模型，创作门槛低，交付质量高，限时免费。
Redis 之父：哪怕被喷我也得说，AI 远远落后于人类程序员！开发者跟评：用大模型气得我自己写代码都有劲儿了
Redis 之父 Antirez 分享研发经历，认为人类程序员比大模型出色，人类能打破常规想出更有效解法。他在修复 Redis 复杂 bug 时，与 Gemini 2.5 PRO 交流，凸显人类创造力优势。开发者看法不一，AI 虽成工具但缺创造力。
"Slop"当选年度词汇：AI垃圾内容有了正式名分
韦氏词典宣布“slop”当选2025年度词汇，指AI生成的低质量数字内容。过去一年它频繁用于形容AI内容，如今AI生成网络文章占比超50%，还催生“slop经济”，但AI内容或优胜劣汰。
我爬了Moltbook所有的帖子，发现这就是一场骗局。
作者扒遍Moltbook，发现它宣传的AI自主社交是骗局。调API就能以AI身份发帖，账号注册无速率限制，所谓150万AI智能体数字存疑。教授论文揭示AI不交流、词汇重复，案例多为营销。
开门红！首钢园中关村通力进入首批“国家级科技型企业孵化器”公示名单
近日，落户北京首钢园的中关村通力科技孵化器入选工业和信息化部科技型企业孵化器（第一批）名单。它聚焦芯片等根技术，已孵化超300家企业，融资超百亿。未来将定位‘AI原生孵化器’，构建全栈赋能生态。