AIニュース OpenAIが数学の新成果をGitHub公開、Lean証明付き
OpenAIが内部フロンティアモデルで得た数学の新成果をGitHubで公開しました。Leanでの証明の形式化、推論の要約10件、1件平均でChatGPT Proおよそ3時間分という計算量も開示されています。分かっていることと未確定の点を整理します。
AIニュース
AIニュース 
AIニュース Claude Opus 4.7準備報道を整理｜確定情報と未確定点
The Informationが、AnthropicはClaude Opus 4.7を準備中で早ければ今週にも出る可能性があると報じました。確認できる事実と、性能・価格などまだ分かっていない点を分けて整理します。
AIニュース Figure AI、生産規模24倍で1時間1台ペースに
Figure AIの人型ロボット生産が「24倍の規模」「1時間に1台」に到達したとRedditで話題に。投稿から確認できる事実と、基準値・時期・フリートの詳細など未確定の点を分けて整理します。
AIニュース LocalLLaMAで話題「新たな重量クラス」の中身と注意点
r/LocalLLaMAで「We have a new weight class...」という投稿が注目を集めています。ローカルLLMに新しいサイズ帯が出てきたという話題について、確認できた事実と、まだ分かっていない点を分けて整理しました。
AIニュース Sulphur 2始動 LTX 2.3契機の無検閲動画生成モデル
r/StableDiffusionで、完全無検閲のオープンソース動画生成モデル「Sulphur 2」の開発が報告されました。LTX 2.3を機に再挑戦し、現在は学習中です。公開時期やライセンスなどの未確定事項も整理しました。
AIニュース GPT-5.5公開、Altman発言にRedditが反応
r/singularityでGPT-5.5のローンチとSam Altmanの発言を扱う投稿が反応を集めている。ただし確認できたのはタイトルのみ。何が事実で何が未確認かを切り分けて整理した。
AIニュース Open WebUI Desktop 公開、llama.cpp同梱
Open WebUIのデスクトップ版がr/LocalLLaMAで告知された。llama.cpp同梱、ローカル実行とリモート接続の両対応とされる。確認できた事実と、対応OS・ライセンス等の未確定点を切り分けて整理する。
AIニュース AI画像がリアルすぎる Reddit投稿が話題に
「AIがリアルすぎる」としてr/ChatGPTに投稿された画像が161件の反応を集め話題に。確認できる事実と未確定な点を実装家視点で整理した。
AIニュース プリンストン大学、133年ぶり試験監督を復活へ
プリンストン大学が1893年以来133年間続いた「試験監督官なし」の名誉規定を覆し、2026年7月1日から全対面試験に監督官を配置する。生成AIの普及が引き金となった歴史的転換を原文引用付きで整理。
AIニュース GPT-5.5が登場、Redditで注目集まる
OpenAIの新モデル「GPT-5.5」がr/singularityで話題に。エンゲージ551の投稿を起点に、現時点で確認できる事実と、性能・時期など未確定の点を切り分けて整理する。