News - Cocoloop
ホームClaudeOpenAIGeminiDeepSeekオープンソースすべてのタグアーカイブ
文/A 日本語 ▾
简体中文 Simplified Chinese English English 日本語 Japanese 한국어 Korean 繁體中文 Traditional Chinese Bahasa Indonesia Indonesian Tiếng Việt Vietnamese Deutsch German Português Portuguese Español Spanish Français French

数学AIのニュースと分析

数学AIに関する製品動向と業界分析を全2件掲載しています。

オープンソース 2026-08-22

OpenBMBが8B形式化モデルを全公開、32B勢に勝る

OpenBMBが数学の自動形式化パイプラインMathFormを一括公開。8BモデルとLean 4検証済みデータ約36.7万件、評価コードを無償公開し、複数の32B専用モデルを上回る成績を記録した。

#数学AI#形式検証#中国LLM
DeepMind 2026-04-22

DeepMindのAIが研究レベルの数学問題6問を解決

DeepMindのAletheiaは、マルチエージェントフレームワークを活用し、FirstProofチャレンジの未発表研究レベルの数学問題10問中6問を解決。うち5問は外部専門家により「出版可能」と評価されました。

#Google AI#AIリサーチ#数学AI

News · Cocoloop

大規模モデル、オープンソースコミュニティ、AI産業の動きを追うニュースと分析。Cocoloop編集部が公開情報を確認して編集しています。

モデルニュース

  • Claude
  • OpenAI
  • Gemini
  • DeepSeek
  • Qwen

テーマ

  • オープンソース
  • AIコーディング
  • Agent
  • すべてのタグ

サイト

  • ホーム
  • 記事アーカイブ
  • RSSフィード
  • robots.txt
  • 編集基準

関連リンク

  • Cocoloop 本サイト
  • Q&Aサイト
  • Hermesガイド
  • PixPix AI画像生成
  • AI画像コミュニティ
文/A 日本語 ▾
简体中文 Simplified Chinese English English 日本語 Japanese 한국어 Korean 繁體中文 Traditional Chinese Bahasa Indonesia Indonesian Tiếng Việt Vietnamese Deutsch German Português Portuguese Español Spanish Français French

© 2026 News · Cocoloop — AI最前線ニュース

Sitemap