OpenAIモデルが80年前のErdős幾何予想を解明：125ページのAI証明が数学界に認められる
OpenAIの先進AIモデルが、数学者Paul Erdősが80年以上前に提唱した幾何予想を自律的に証明することに成功した。生成された125ページに及ぶ証明文書は厳密な内容で、複数の数学専門家から認められている。
AI推理 に関するニュース
Groqが新たな資金調達ラウンドを推進、NvidiaとAI推論クラウドサービスの拡大で提携
AIチップ分野の新興企業Groqが新たな資金調達ラウンドを推進し、Nvidiaと推論クラウドサービスの共同拡張で提携することを発表した。この動きはAIハードウェアとクラウドインフラの競争構図に新たな注目を集めている。
Modal Labs が3.55億ドルのシリーズC資金調達、5倍のARR成長率でserverless GPU市場をリード
Modal Labsは3.55億ドルのシリーズC資金調達を完了し、年間経常収益が6000万ドルから3億ドルへ5倍成長を達成。serverless GPUモデルが大規模な商業展開段階に入ったことを示している。
OpenAIがAIによるエルデシュ予想の自主解決を主張、数学者の検証後に真偽論争が激化
OpenAIが2026年5月20日に内部の汎用推論モデルが1946年のエルデシュ平面単位距離予想を改善する無限構造族を自主発見したと発表し、数学者が検証を完了。しかしWinzhengはexecutionとgroundingの観点から、形式化
OpenAI o1モデルの数学能力論争：幻覚問題がAIベンチマークテストの有効性に挑戦
OpenAIのo1-previewモデルは数学・推論タスクで驚異的な性能を示したが、複雑な数学問題で頻繁に「幻覚」（誤った回答を自信満々に生成）を起こすことが判明し、AI専門家から真の能力を疑問視する声が上がっている。この事件はX上で百万を
NVIDIA DGX Spark 徹底評価：ローカルAI推論の新たなベンチマーク
NVIDIAの早期アクセスプログラムを通じて、デスクトップワークステーション形態でスーパーコンピューティング性能を実現するNVIDIA DGX Sparkを詳細にレビューし、SGLangを使用した性能テストと実用シナリオを検証しました。
SGLang、高効率オープンソースNemotron 3 Nano混合MoEモデルを即日サポート
SGLangがNVIDIAの最新高効率Nemotron 3 Nano MoEモデルを発表当日にサポート。同モデルは業界最高レベルの計算効率と精度を提供し、専門的なエージェント型AIシステムの構築を支援します。
OpenAI o1-preview制限問題：強力な推論能力と使用性の限界
OpenAIが最近発表したo1-previewモデルは、その強力な推論能力にも関わらず、使用制限が頻繁に限界に達し、ユーザーからの不満が高まっています。この問題は、大規模モデル時代における推論コストの高さを浮き彫りにしています。
OpenAI o1-preview推論チェーン公開：AI思考プロセスの透明化革命
OpenAIは新たにo1-previewとo1-miniモデルを発表し、AIの内部推論プロセス「推論チェーン」を初めて公開しました。この技術革新はAIの思考過程を人間のように段階的に展開し、AIの透明性を高める重要な一歩となっています。
OpenAI o1-previewモデル数学推論の突破：ARC-AGIスコア83%、AIインテリジェンスの基準を更新
2024年9月、OpenAIはo1-previewおよびo1-miniモデルを発表し、AI業界を驚かせました。特にARC-AGIの抽象推論タスクで83%のスコアを達成し、AI推論能力のマイルストーンとされています。