#OpenAI

OpenAIが次期モデルAstra関連で数学・理論CSの未解決問題10件の新成果とLean形式証明を公表した流れが継続。研究パートナー化の転換点とする見方と、査読待ち・問題選定バイアス・ミレニアム未達を強調する慎重論が並ぶ。

OpenAIが2026年7月9日にCodex基盤の仕事用エージェント「ChatGPT Work」を発表し、デスクトップでChat/Work/Codexを切り替えられる構成になった。Xでは業務自動化の称賛と、軽量タスクへの誘導による遅延批判、モード選定の混乱が並立している。