VWork バイブコーディングフレームワーク

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

GPT-5.6が凸最適化の難問を解決、Kimi K3もベンチマークで躍進

GPT-5.6がプロンプトを用いて凸最適化における30年の空白を埋める

OpenAIのGPT-5.6が、プロンプトを用いることで凸最適化における長年の難問を解決した可能性が浮上し、高度な数学分野におけるAIの能力について大きな議論を巻き起こしています。この進展は、AIが理論的な計算や証明において人間を凌駕する可能性を示唆しています。

SQLite Query Explainerの公開

ブラウザ上でSQLiteを実行できるPyodideを使用し、SQLiteの「EXPLAIN」および「EXPLAIN QUERY PLAN」の結果をインタラクティブに解説するWebツールが作成されました。データベースのパフォーマンスチューニングを支援する便利なツールとして注目されています。

Kimi:脅威か、それとも menace(厄介な存在)か?

Moonshot AIがリリースした最新のKimiモデルに対し、国際的な議論や懸念が生じています。「完全なAI共産主義」といった地政学的な文脈を含め、AIガバナンスに関する重要な議論を呼んでいます。

トランプ氏がブラジルの決済システムを標的にする中、ドル建てステーブルコインが静かに普及

ブラジルの決済エコシステムにおいて、ドル建てステーブルコインが既存の国家インフラをバイパスし、主導権を握りつつある現状を分析した記事です。トランプ前大統領による政治的な動きと並行し、デジタル通貨の地政学的な影響力が高まっています。

Kimi K3がSpreadsheetBench 2で第1位を獲得、Claude Fable 5を凌駕

Moonshot AIのKimi K3が、@AfterQueryのSpreadsheetBench 2においてClaude Fable 5を上回り、トップの評価を獲得しました。スプレッドシート操作などの実用的なタスクにおいて、極めて高い性能を発揮しています。

Basalt Labsによる「世代最悪の詐欺」への警告

Basalt Labsという企業が、Qwen2.5やDeepSeekをベースとしたモデルを使用しながら虚偽のベンチマークスコア(HLEで99.44%など)を主張する詐欺行為を行っているとの報告があります。AI業界における信頼性の問題として注意が必要です。