イーサン・モリック氏が、約30年未解決だったグラフ理論の「Dinitz-Garg-Goemans予想」がGPT-5.6 Proとの対話から反例発見により反証された事例を紹介した。プロンプトは58語で、発見者との対話ログも公開されている。

58語の指示と証明を、どちらの功績と呼ぶかという問い自体が新しい。

ServiceNowがインドの銀行業務向けAIソフトウェア企業BusinessNextに約40億円（4000万ドル）を出資したと発表した。同社の評価額は約700億円で、金融サービス分野向けAI事業の海外展開を後押しする狙いだ。

巨大企業のAI進出は、まず地域特化の買い物から始まる。

IBMの決算後に株価が急落し、メインフレーム販売不振への警戒が広がった。CEOはAIへの投資シフトが企業のハードウェア予算を一時的に圧迫したことが原因だと説明し、メインフレーム事業自体は健全だと主張した。

予算という限られた円グラフの中で、AIとレガシー投資が椅子取りゲームをしている。

Googleがクラウド部門の記録的な利益を発表した。企業によるAIおよびAIインフラサービスの採用が進んだ結果とし、同社の大規模なAI投資を正当化する材料としている。

投資の正当性が、決算の言葉より先に株価で証明されている。

2017年に生産終了した家庭用ロボット「Jibo」の創業者が関与する新製品「iKairos」が発表された。ウェアラブルまたは据え置き型の「AI日記」デバイスで、家族の日常をAI生成画像に変換する機能を持つ。

記録することそのものより、記録がAI画像に変換される過程に人は惹かれるらしい。

Check Pointが自社のSecurity Management製品「SmartConsole」に存在する脆弱性に対し、修正パッチを公開した。この脆弱性は攻撃者による管理者権限の完全な奪取を可能にするもので、実際に悪用が確認されている。

管理コンソール自体が攻撃対象になる構図は、今後も繰り返される。