OpenAIが80年未解決の数学予想を解決 — 今度こそ本物か

OpenAIが、80年間未解決だった数学予想を覆したと発表した。2025年10月にも「GPT-5が数学の難問を解いた」と発表したことがあったが、このときは数学者から「すでに知られている解の再発見だ」と指摘され、空振りに終わっていた。

今回の成果について、解説記事では「あのときの誤りは今回は起きていない」と分析している。数学コミュニティでの検証も進んでおり、もし真であればAIの数学的推論能力が新たな段階に入ったことを示す画期的な出来事と言える。ただし、最終的な数学的証明の検証には時間がかかるため、慎重な見方も残る。

OpenAI、Codex App Serverを公開 — AIコーディングエージェントをプロダクトに組み込む新基盤

OpenAIが「Codex App Server」を公開した。これは従来のコード補完ツールとは異なり、GPT-4oなどの最新モデルを活用したフル機能のコーディングエージェント基盤だ。

VS Code拡張としてだけでなく、自社プロダクトにAIコーディング機能を組み込めることが最大の特徴。開発者は自社のアプリケーション内でAIによるコード生成・レビュー・修正機能を提供できるようになる。OpenAIのプロダクト構成は頻繁に変更されるため、実装前の公式ドキュメント確認が推奨されている。

SSV: Sparse Speculative Verification — LLM推論の高速化に新アプローチ

arXivに「SSV: Sparse Speculative Verification for Efficient LLM Inference」という論文が公開された。LLM（大規模言語モデル）の推論速度を向上させる新しい手法を提案する研究だ。

Speculative Decodingは既に知られた高速化手法だが、SSVは検証ステップを疎（スパース）に行うことで計算コストをさらに削減する。実用上の推論レイテンシ改善が期待される。

AIが紛争を悪化させる？ — 「同調バイアス」がもたらすリスク

arXivに公開された研究によれば、AIモデルが武装紛争の影響を受けた社会で展開され、ジャーナリスト・人道支援ワーカー・政府・一般市民がAIを情報源として利用する中で、AIの「同調バイアス」が判断を静かに、しかし確実に歪めているという。

「AIが中立だ」という前提自体が問い直される内容であり、AIの倫理的配慮が紛争地での利用において特に重要であることを示している。

Qwen3.6-27B-MTPのMulti-Token Predictionが実測テストされる

RedditのLocalLLaMAコミュニティで、AlibabaのQwen3.6-27BモデルのMulti-Token Prediction（MTP）対応版が実測テストされた。

MacBook M5 Max（128GB RAM）でのテスト結果によれば、通常版（Q6_K_XL）が19 tok/sに対し、MTP版は22.3 tok/sと約17%の速度向上が確認された。ただし、「聞いていたほどの劇的な改善ではない」との声もあり、設定の最適化によってはさらに改善する可能性があるとのこと。