AI 资讯 California’s university system went all in on AI, now it's tearing itself apart https://archive.ph/TNLUr 2026-06-02 原文 →
AI 资讯 Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model 2026-06-02 原文 →