➡️
继续阅读
-
开源本地AI修图Rembrandt:秒杀Lightroom的离线照片编辑器
Rembrandt 是一款免费、开源、注重本地运行与 AI 功能的照片编辑器,由用户 thesnarkitecht 发布在 GitHub 上。它被定位为 ...
-
开源Whistle:16.9MB语音模型把145MB Whisper按在地上摩擦!
Whistle 模型只有 16.9 MB,塞进 CPU 就能跑,七种语言,11 毫秒出第一个词。 Hacker News 上吵翻了天:有人说“英语准得离谱...
-
数学家应该了解的Lean定理证明器:可靠性与AI问题
数学家Hales撰文讨论Lean形式化数学的可靠性。2026年AI自动形式化取得突破,Fermat大定理等被快速形式化,但同年夏季发现多个Lean内核可靠...
-
面向模型的编程语言论纲
作者十三年前开发了首个面向模型的编程语言Mo+,虽未推广,但认为其在AI时代潜力巨大。文章阐述模型由层级结构与数据组成,区分非正式、内联、耦合、解耦四种模...
-
AWS、Upstage 和 Ollama 就决策模型 API 达成一致,OpenAI 尚未加入。
2026年10月,AWS发布基于阿里Qwen3.5的开源决策模型Strands Decider 2B,接口与TypeSafe AI的Jev相同。该模型接收...
-
0.2秒急停、秒级重规划!因果智能走进真实世界
Aether AI 发布因果智能系统 CRIS-0,使机器人理解物理因果而非死记硬背。面对突发干扰,它能在 2 秒内识别关键变量并重新规划,10 次扰动中...