「颜水成」共找到 2588 篇相关文章
前两天刚被群嘲，ChatGPT转头就解决了一个数学难题
前些天，OpenAI研究员宣称GPT - 5‘发现’数学难题解法被指只是检索文献引群嘲。但加州大学洛杉矶分校教授用ChatGPT解决凸优化未决问题，还有教授用其发现命题反例，甚至要将其列为论文一作，AI正成研究伙伴。
HBM之父：HBM的终点是HBF
韩国SK海力士宣布完成HBM4开发，它将成数据中心和AI芯片首选。HBM4有出色数据处理速度和能效，应用后AI服务性能或提升69%。HBM之父金正浩教授预测，未来HBF将取代HBM，还提出金氏定律指导行业发展。
全球首个「百万引用」学者诞生！Bengio封神，辛顿、何恺明紧跟
Yoshua Bengio成谷歌学术首个论文引用超百万的人，Geoffrey Hinton达97万次。全球高被引TOP 10中，计算机领域占4席，均属AI领域。深度学习论文引用爆发，契合AI时代。还介绍了Bengio、何恺明等AI领域高被引作者情况。
重写手机AI安全边界！首个MoAI攻防SoK，系统梳理三大安全支柱
墨尔本大学等联合发布论文指出，移动端AI硬件和模型发展使MoAI成重要范式，但带来安全风险。论文给出统一框架，拆解系统为四层，定义三大安全支柱，梳理攻击、防御图谱等，还提出开放问题与未来方向。
一句话搞定后端？揭秘被 52.1k 开发者选择的 PocketBase：真能让你 0 运维快速上线产品吗？
PocketBase是“把后端打包成一个文件”的开源项目，既可以作为独立的轻量后端服务直接运行，也能作为Go库嵌入到应用中。它能解决团队做MVP等遇到的痛点，有诸多核心功能和技术优势。
20人团队提前实现DeepSeek构想，AI算力变天？直击大模型算力成本痛点
国内20人玉盘AI团队推出SRDA全新计算架构方案，试图从硬件源头解决当前AI算力核心瓶颈。该架构有诸多创新设计，能应对大模型训推痛点，与DeepSeek构想契合，或成大模型专用架构分水岭。
给龙虾定MBTI、发工牌，还让龙虾偷技能…打工人得适应新环境了
AI圈掀起“养龙虾”热潮，智谱、腾讯纷纷发布相关产品。极客和开发者对龙虾进行实测，它不仅能用于打造赛博宠物、线上办公室，还能完成视频剪辑、教辅、营销等工作。同时，Agent框架让大模型进入业务线，飞书成合适的工作台。
Nature公开谷歌IMO金牌模型技术细节！核心团队仅10人，一年给AI编出8000万道数学题训练
谷歌DeepMind的IMO金牌模型AlphaProof技术细节公开。团队规模小，核心成员是IMO金牌得主。它把数学证明当游戏，用30亿参数模型和改进树搜索算法。训练难题靠自动形式化解决，赛场用TTRL突破，已开放使用。
小扎新AI，凉得彻底？
9月25日，Meta推出嵌入Meta AI应用的AI视频流Vibes，可浏览、二创和分享AI视频，改写短视频玩法。它降低创作门槛，融入Meta生态，野心勃勃，但也带来版权等争议，还将与硬件结合，AI视频或成新全民入口。
Kubernetes 被 AI 打回“半成品”！K8s 之父发出警告：代码生成越快，程序员越危险
Kubernetes联合创始人Brandon Burns表示，AI让Kubernetes回到‘未完成’状态，它得适应GPU调度等新需求。他还谈到AI对编程工作的影响，如代码审查成核心技能，未来编程语言或为AI设计。