Anthropicの数理的突破とLlama.cppによるMac高速化など、AI技術の最新動向 08-12

本記事はHorizonを使いAI/LLM・バイブコーディング・Web3・スタートアップのニュースを自動収集・要約したものです。

Anthropicの未公開モデルが数学の難問「リーマン予想」に対し進展

Anthropic社の未公開モデルが、数学における最も困難な未解決問題の一つである「リーマン予想」に対して顕著な進展を見せたと報じられています。AIによる高度な数理的推論能力の向上を示す重要な研究成果として注目されています。

Mac、Windows、Linux環境で多様なAIモデル（LLMを含む）をローカルで実行・学習できるオープンソースアプリ「Unsloth Desktop」が公開されました。RAG（検索拡張生成）やプライベートなウェブ検索機能など、利便性の高い機能を備えています。

ClosedAIらによる「暗号化された推論（Encrypted Reasoning）」技術を詳述した論文が注目を集めています。この技術はモデルの透明性やデータ可用性に大きな影響を与える可能性があり、ローカルLLMコミュニティで活発に議論されています。

Apple Siliconを搭載したmacOSの仮想マシン上で、Llama.cppを用いたLLMの推論速度を11〜16倍に加速させる新しい手法が公開されました。これはVMによるGPUカーネルの選択方法を修正することで実現されています。

プロプライエタリな（非公開の）LLM APIから、モデルの思考プロセスである「推論の痕跡（Reasoning Traces）」を盗み出す手法についての議論が巻き起こっています。AIの内部的な推論過程に対するセキュリティ上の課題や透明性の問題が浮き彫りになっています。