搜索：AI安全研究 - AI Reading Hub

「AI安全研究」共找到 10943 篇相关文章

菲尔兹奖成果首次被AI完整形式化，Gauss20万行代码改写数学史？

Math, Inc. 公司用 Gauss 智能体完成 8 维和 24 维空间最优球体堆积定理形式化证明，代码约 20 万行。该定理最初由 Maryna Viazovska 及其合作者证明，这是本世纪首个被完全形式化证明的菲尔兹奖成果。

近日，CompileBench 测试 19 个 AI 模型编译真实代码能力，最难任务是复活 2003 年代码并交叉编译到 Windows 和 ARM64。不同模型表现不同，如 Claude Opus 4.1 成功完成 ARM64 静态编译，各模型有不同优缺点。

伯克利和斯坦福团队让GPT - 4.1变身「科研预言家」，从顶会提取想法对比案例训练，不借助实验验证，靠推理押注。其在公开题库测试、人类专家团战等测试中表现出色，还能预测AI新点子。

本文聚焦基于神经网络的偏微分方程优化求解方法，指出传统数值求解范式有局限，物理信息神经网络（PINNs）虽有潜力但面临瓶颈。作者从多方面研究，形成工程流动问题分析框架与改进方法。

中国工业互联网迎来智能化加速阶段，卡奥斯递表港交所，为观察工业智能走向产业基础设施提供了样本。它脱胎于海尔，已实现产业规模化落地并盈利，在中国基于平台的工业数据智能解决方案市场位居第一。

微软首席执行官分享新发布的医疗AI系统MAI - DxO，它模型无关，能适配不同语言模型，模拟医生诊断流程。测试显示其准确率远超专业医生，成本大幅下降。此外还发布序贯诊断基准SDBench。

文章指出AI时代人们多只有“领域内判断力”，判断力可当学科训练。介绍预测大赛中普通人表现超CIA分析师，1小时训练能提升10%准确度，还给出判断力3层栈框架及30天训练清单。

据彭博社报道，苹果计划明年为Siri引入AI驱动的网络搜索功能，称“世界知识答案”，将以多媒体形式汇总结果。苹果正测试Google模型，或由其提供支持，此前还考虑过Anthropic的Claude模型但未达成协议。

文章介绍5种酷炫AI动态网页制作方法，无需专业UI能力。涵盖赛博飞驰、流光动效、星际探索、敦煌古风、都市现代风等风格，给出各案例制作流程、提示词，还提及借助Claude Code等工具合成网页。

南洋理工等机构团队提出基于文言文语境的自动化黑盒测试框架CC - BOS，利用果蝇算法和8维策略空间，暴露主流大语言模型安全盲区，实验显示对6款主流模型攻击成功率达100%。