AI 日报

VOL.1 · NO.0232026-08-17

智谱发布GLM-5.3:编程与网络安全能力大幅提升且将开源

GLM-5.3通过后训练Scaling显著增强了复杂任务执行力,尤其是编程和安全能力。其权重的开源将降低高性能大模型的获取门槛,对开源社区产生深远影响。

今日主线
  • 国产旗舰模型向超大规模参数与端到端复杂任务交付演进
  • AI安全风险凸显,涵盖生物武器过滤失效及深度伪造法律诉讼
  • AI基础设施向定制化基准测试与持久化记忆方案转移
弱信号
  • 利用普通WiFi信号实现高精度人体识别带来的隐私挑战
  • 针对‘镜像生命’研发的生物安全战略预警
模型与产品
研究前沿
开源与工具
社区热议

MathCode:数学编码智能助手

MathCode作为一款终端AI编码助手,能将自然语言数学问题转换为Lean 4定理并尝试形式化证明,支持持久化Lean REPL和可重用定理库。

中文视野