标签: LLM

Suzanne:用于设计和制造实体产品的AI工具

Suzanne:用于设计和制造实体产品的AI工具

一款名为 Suzanne 的 AI 工具声称能“设计和制造实体产品”,但在 Hacker News 上遭到技术人员集体质疑:它被指只是“ThreeJS + LLM”的演示级包装,并没有真正打通从提示词到可制造 CAD 模型的链路。这件事折射出当前 AI 设计工具普遍存在的宣传与工程现实之间的落差。

基于 Lean 的忠实性对齐评估

基于 Lean 的忠实性对齐评估

Millennium Research 发布了一款名为 leanscreen 的开源工具,用于检查 Lean 4 定理陈述是否存在“空洞承诺”——比如证明能编译通过,但定理本身只是恒等式,实际意义为空。这类问题正是大模型生成形式化证明时最隐蔽的风险点。

OpenSSH 10.5 发布,现已支持 AI 辅助

OpenSSH 10.5 发布,现已支持 AI 辅助

OpenSSH 10.5 正式发布,团队同时公开表示欢迎 AI 辅助提交的安全漏洞报告,前提是有人工研判、测试用例或修复建议。开源安全社区对“是否接受 AI 进代码树”仍有明显分歧,但至少在漏洞挖掘环节,AI 已被权威基础设施项目官方接纳。

Meta推出了全新30B参数的开源模型Muse Glimmer,采用的是干净的Apache2.0许可证。相比过去那些自定义的Llama许可证,Meta 这次算是试着往更开放的方向迈了一步。 专为AI agent打造,能看屏幕、调工具、失败了会自己重试。在同等参数量下,在编程、多模态、安全和推理这些方面,Muse Glimmer 的跑分基本全面领先同级别的其他模型。 Muse Glimmer模型非常小,只有30B,一张显卡就能跑。支持本…

Meta推出了全新30B参数的开源模型Muse Glimmer,采用的是干净的Apache2.0许可证。相比过去那些自定义的Llama许可证,Meta 这次算是试着往更开放的方向迈了一步。 专为AI agent打造,能看屏幕、调工具、失败了会自己重试。在同等参数量下,在编程、多模态、安全和推理这些方面,Muse Glimmer 的跑分基本全面领先同级别的其他模型。 Muse Glimmer模型非常小,只有30B,一张显卡就能跑。支持本…

Meta 发布了 30B 参数的开源模型 Muse Glimmer,采用 Apache 2.0 许可证,专为 AI agent 场景设计,宣称在编程、多模态、安全、推理等跑分上领先同级模型,但因幻觉率较高,知识类任务仍是明显短板。