哈达玛矩阵 Claude与研究人员合作构造出668阶哈达玛矩阵后，AI在数学研究中的位置又往前挪了一步。哈达玛矩阵不是普通的计算题，它要求矩阵中的元素取值为加一或减一，并且任意两行都保持正交。...

FastJson 1.2.68 到 1.2.83 被披露存在可在野利用的远程代码执行漏洞，且在常见 Spring Boot fat-jar 场景下风险更高。本文梳理影响范围、利用前提、排查思路与保守缓解建议。

Claude完成大规模Lean形式化证明，GPT-6在开放数学问题基准中提交机器可验证结果，AI科学正在从生成答案转向交付证据链。

本周AI前沿资讯精选：Claude Mythos因太强限制发布、智谱GLM-5.1编程登顶、Google Gemma 4全面开源、Meta Muse Spark重磅发布等10条重磅消息。

BarunLM用35M参数挑战小模型效率，清华VeriLoop Coder-E1把验证反馈引入代码模型自我改进，AI竞争正在从单纯扩大规模转向有效参数、可验证流程和真实应用闭环。

李飞飞团队T-Rex触觉反馈、AXIS机器人数据和INTACT实时规划共同说明，具身智能正在从视觉演示走向触觉反馈、数据覆盖与实时控制的系统竞争。