AI NOWA 設計記録 v0.2 — 止めることが仕事の社員がいる話

RAG の代替として、ソース投入時に知識を統合する LLM Wiki パターンを MulmoClaude に実装した記事。新しい資料を投入した際に Claude が既存の wiki ページを自動更新・相互参照・矛盾検出を行い、知識が蓄積される仕組みと、設計時に機械的検査と LLM 判定を分離することの重要性を解説。

Xiaomi がオープンソースの Agent 型 AI コーディングハーネス MiMo Code を発表。200 ステップの超長期タスクで Claude Code を上回るパフォーマンスを示した。複雑で段階的なコーディングタスクの実行能力が向上。

OpenAI の推論モデルが、1940年代から数学者を悩ませてきた「単位距離問題」の中心的予想を反証する具体的構成を発見し、人間の数学的直感の盲点を露呈させた。証明は人間の数学者により検証・確認され、今後 AI と数学者の役割分担の在り方や証明の検証可能性をめぐる議論が活発化している。

AWS の AI コーディングアシスタント Kiro と Claude を用いて、AI が設計したロボットアームを NVIDIA Isaac Sim / Isaac Lab で学習させた実験結果を報告。4,096 個のロボットを GPU 上で並列シミュレーションし、PPO アルゴリズムで吸引カップによるキューブ掴み上げを訓練した結果、キューブ持ち上げ成功率 91.5%、目標位置保持率 77.9% を達成。