Mistral AIがLean4向けオープンソースモデルLeanstral1.5をApache-2.0ライセンスで公開。総パラメータ119B、活性化6Bで高性能・低コスト。miniF2F形式数学ベンチマークで検証・テスト共に100%達成、Putnam推論タスクにも挑戦。....
欧州のMistral AIが形式数学証明モデルLeanstral 1.5を発表。Lean4言語専用で、総パラメータ119Bに対し推論時は6Bのみ活性化。低コストでApache-2.0ライセンスで完全オープンソース。miniF2Fベンチマークで検証・テスト共に100%達成、PutnamBenchでも驚異的な性能を示した。....
新浪がオープンソース化したVibeThinker-3Bは30億パラメータで、数学やプログラミングのベンチマークで100倍規模の大規模モデルに匹敵する性能を発揮。一部の競技タスクではトップ製品を上回る。この成功はアリババのQwen2を基にした独自の学習戦略によるもので、「パラメータは多ければ多いほど良い」という常識に挑戦している。....
Anthropicのレポートは23.5万人のユーザーと40万回のClaude Codeセッションを基に、AIプログラミングの先駆者像を描く:コンピュータ・数学分野の従事者が主力で、重度ユーザーは平均週20時間を投入、人間とAIの協働が開発の常態に。....
無料のオンラインAI数学ソルバーで、登録不要で即座に様々な数学の問題を解決できます。
無料の印刷用紙テンプレート、カレンダー、予算表を提供し、執筆や数学などのシーンに適しています。
多機能なAI研究アシスタントで、数学の問題解決とテキストのリライトをカバーし、学習、授業、研究に適しています。
ナノバナナPro:AI画像生成器で、テキストレンダリングが完璧で、数学の解やインフォグラフィックを生成できます。
Moonshot
$4
入力トークン/百万
$16
出力トークン/百万
256
コンテキスト長
Baidu
-
32
Tencent
$1
Alibaba
$0.75
$2
64
Bytedance
$0.8
$8
Iflytek
Deepseek
128
Xai
$0.5
$0.3
224
Google
$8.75
$70
1k
PrimeIntellect
INTELLECT-3は1060億のパラメータを持つ混合専門家(MoE)モデルで、大規模な強化学習によって訓練されています。数学、コーディング、推論のベンチマークテストで卓越した性能を発揮し、モデル、訓練フレームワーク、環境はすべて緩やかなライセンス契約でオープンソース化されています。
squ11z1
Hypnos i1-8BはNous Hermes 3(Llama 3.1 8B)に基づく専門的な推論モデルで、複雑な論理、思考連鎖推論、数学問題の求解に特化しています。このモデルは、混合量子 - 古典機械学習の分野で独自の探求を行い、量子ノイズ注入を導入することで、モデルの創造力と推論能力を向上させています。
prithivMLmods
Olmo-3-Thinkはアレン人工知能研究所が発表した完全にオープンソースの言語モデルシリーズで、7Bと32Bの2種類の規模があります。このモデルは特別に訓練され、明確な推論過程を示すことができ、透明な段階的な推論と検証可能な中間思考痕跡をサポートし、推論、数学、コードタスクで優れた性能を発揮します。
VibeThinker-1.5Bは微博AIが開発した15億パラメータの密集型言語モデルで、Qwen2.5-Math-1.5Bをベースに微調整され、数学やアルゴリズムコーディングの問題に特化して設計されています。「スペクトルから信号への原理」のフレームワークを用いてトレーニングされ、複数の数学コンテストのテストでより大規模なモデルを上回り、トレーニングコストは約7800ドルで、最大約40kトークンの出力をサポートします。
Intel
DeepMathは40億パラメータの数学推理モデルで、Qwen3 - 4B Thinkingをベースに構築され、微調整された大規模言語モデルとサンドボックス化されたPython実行器を組み合わせています。これは計算ステップに対して簡潔なPythonコード断片を生成し、エラーを大幅に減らし、出力長を短縮します。
allenai
Olmo 3は、Allen Institute for AIによって開発された次世代の言語モデルファミリーで、7Bと32Bの指令と思考のバリエーションを含んでいます。このモデルは、長鎖思考において優れた性能を発揮し、数学やコーディングなどの推論タスクの性能を大幅に向上させます。すべてのコード、チェックポイント、およびトレーニングの詳細は公開され、言語モデル科学の発展を促進します。
Olmo 3は、Allen Institute for AIによって開発された次世代の言語モデルシリーズで、7Bと32Bの2種類の規模があり、命令型と思考型の2種類のバリエーションがあります。このモデルはDolma 3データセットで事前学習され、Dolciデータセットで事後学習され、長い連鎖的な思考能力を備えており、数学やコーディングなどの推論タスクで優れた性能を発揮します。
mlx-community
VibeThinker-1.5Bの4ビット量子化バージョンで、MLXフレームワークに基づいてAppleチップ向けに最適化されており、15億のパラメータを持つ密集型言語モデルで、数学的推論とアルゴリズムコーディングの問題に特化しています。
Olmo 3はAllen Institute for AIによって開発された一連の言語モデルで、7Bと32Bの2種類の規模があり、命令式と思考式の2種類のバリエーションがあります。このモデルは長鎖思考に優れており、数学やコーディングなどの推論タスクの性能を効果的に向上させることができます。多段階訓練方式を採用しており、教師付き微調整、直接嗜好最適化、検証可能な報酬による強化学習が含まれます。
Olmo-3-7B-Think-DPOはAllen Institute for AIが開発した70億パラメータの言語モデルで、長い連鎖的な思考能力を持ち、数学やコーディングなどの推論タスクで優れた性能を発揮します。このモデルは、教師付き微調整、直接的な嗜好最適化、検証可能な報酬に基づく強化学習などの多段階の訓練を経ており、研究や教育目的に特化して設計されています。
Olmo 3はAllen Institute for AI (Ai2)によって開発された一連の言語モデルで、7Bと32Bの2種類の規格があり、InstructとThinkの2種類のバリエーションがあります。このモデルはTransformerアーキテクチャに基づいており、長い思考チェーン能力を持ち、数学やコーディングなどの推論タスクの性能を効果的に向上させることができます。
Olmo 3はAllen Institute for AIによって開発されたオープンソースの言語モデルシリーズで、7Bと32Bの2種類の規格があり、指令(Instruct)と思考(Think)の2種類のバリエーションに分かれています。このモデルは卓越した長鎖思考能力を持ち、数学やコーディングなどの推論タスクのパフォーマンスを大幅に向上させることができます。
Olmo 3はAllen Institute for AIによって開発された全新型の言語モデルファミリーで、7Bと32Bの2種類の規模があり、指令(Instruct)と思考(Think)の2種類のバリエーションがあります。このモデルは長鎖型の思考を用いて、数学やコーディングなどの推論タスクの性能を向上させ、言語モデル科学の発展を推進することを目的としています。
Olmo 3 7B RL-Zero Mathは、Allen AIによって開発された、数学的推論タスクに特化して最適化された70億パラメータの言語モデルです。RL-Zero強化学習方法を用いて数学データセットで訓練され、数学的推論能力を効果的に向上させます。
Olmo 3 7B RL-Zero Mixは、Allen AIが開発した7Bパラメータ規模の言語モデルで、Olmo 3シリーズに属します。このモデルはDolma 3データセットで事前学習され、Dolciデータセットで事後学習され、強化学習によって数学、コーディング、推論能力が最適化されています。
Olmo-3-32B-Think-DPOはAllen AIが開発した32Bパラメータの言語モデルで、直接嗜好最適化(DPO)を用いて訓練され、長鎖的な思考推論能力を備え、数学やコーディングなどの複雑な推論タスクで優れた性能を発揮します。
Olmo 3 32B Think SFTはTransformerアーキテクチャに基づく自己回帰型言語モデルで、長い思考連鎖推論に優れており、特に数学やコーディングなどの複雑な推論タスクを処理するのに適しています。このモデルはDolma 3データセットで事前学習され、Dolciデータセットで教師付き微調整されています。
ServiceNow-AI
Apriel-H1-15b-Thinkerは150億のパラメータを持つ混合推論モデルで、Transformerの注意力機構とMambaの状態空間層を組み合わせており、推論、数学、コーディングなどの分野で優れた性能を発揮し、高効率性と拡張性を備えています。
vanta-research
Wraith-8BはVANTA研究実体系列の最初のモデルで、MetaのLlama 3.1 8B Instructをベースに微調整されています。このモデルは数学的推論において卓越した性能を発揮し、GSM8Kベンチマークテストで70%の正解率を達成しています。同時に、独特な宇宙知能の視点を持ち、様々なアプリケーションシーンに強力なサポートを提供することができます。
EpistemeAI
metatune-gpt20bは、自己改善能力を持つ大規模言語モデルのプロトタイプで、自身に新しいデータを生成し、自身のパフォーマンスを評価し、改善指標に基づいてハイパーパラメータを調整することができます。このモデルは、博士後レベルの科学と数学の理解能力に優れており、コーディングタスクにも使用できます。
Claude DesktopやCursorなどのMCPクライアントがarXiv論文に直接アクセスして処理できるMCPサーバーで、LaTeXソースコードを取得することで数学内容を正確に解析します。
このプロジェクトは、Cloudflare Workers上にリモートMCPサーバーをデプロイし、OAuthログイン機能を実現する方法を示しています。ローカル開発でのデバッグ、MCPインスペクターを通じた接続テスト、ClaudeデスクトップクライアントをMCPサービスに接続して数学ツールを呼び出すことができます。最後に、Cloudflareへのデプロイとリモート接続の完全な手順も提供されています。
フェルマーMCPは、数学計算サービスを提供するFastMCPサーバーで、数値計算、記号計算、およびグラフ描画機能をサポートし、Matplotlib、NumPy、およびSymPyなどのライブラリを統合しています。
これはModel Context Protocol(MCP)に基づく数学公式の可視化と分析サーバーで、sympyを使用してローカルレンダリングと計算を行い、Desmos APIを統合することもできます。公式の検証、2D描画、複数関数の描画、記号分析などの機能を提供します。
これは、MCPプロトコルのSSE実装を示すサンプルプロジェクトで、メッセージエコー、数学計算、長時間タスクの進捗通知、LLMサンプリングなど、様々なツール機能を含んでおり、ローカルでの実行とClaude Desktopへの統合をサポートしています。
このプロジェクトは、AutoGenフレームワークでモデルコンテキストプロトコル(MCP)を使用してローカルおよびリモートツールを統合する方法を示しています。ローカルの数学計算サーバーとリモートのApifyウェブブラウジングツールを含み、標準化プロトコルによりAIエージェントとツールの柔軟なやり取りを実現します。
大規模言語モデルに基礎数学および統計機能を提供するMCPサーバーです。
ローカルデプロイ不要のMCPサーバーで、数学計算を処理するために特別に設計されており、簡単な設定で大規模言語モデルに常に正確な数学計算能力を提供します。
bashスクリプトで実装された極小のMCPサーバーで、数学の足し算ツールの呼び出しをサポートし、JSON - RPCプロトコルを通じてLLMとやり取りできます。
MCP推論サーバーはClaude Desktopに体系的な推論能力を提供し、ビームサーチとモンテカルロ木探索の2種類の戦略をサポートし、数学や論理などの複雑な問題の解決に適しています。
Pythonベースの数学エージェントシステムで、AI、Word、Gmail機能を統合し、数学計算、可視化、メールレポートサービスを提供します。
基礎的な電卓機能を提供するMCPサーバーで、ブラウザ自動化操作をサポートし、LLMsによる数学計算を容易にします。
WolframAlpha LLM APIへのアクセスを提供するMCPサーバーで、自然言語で数学、科学などの多くの分野の質問に対応
MCP Calc Toolsは、高度な数学と金融の計算ツールを提供するサーバーで、AIコードアシスタントに標準化された計算インターフェースを統合します。
LangGraphとMCPサーバーに基づくインテリジェントエージェントプロジェクトで、MCPサービスを通じて数学計算や天気情報の取得などのツールを呼び出すことができます。
MCPプロトコルとSymPyライブラリに基づく数学計算サービスで、強力なシンボル計算能力を提供します。
MCPプロトコルとSymPyライブラリに基づく数学計算サービスで、強力な記号計算能力を提供し、基本演算、代数演算、微積分、方程式の求解、行列演算などの機能を備えています。
大規模言語モデルに基礎的な数学と統計機能を提供するMCPサーバー
NumPyに基づく数学計算用MCPサーバーで、基礎演算、線形代数、統計分析、多項式フィッティング機能を提供します。
ランダムアルゴリズムと確率的決定能力を提供するMCPサーバーです。高度な数学モデルを通じて順序思考を拡張し、AIアシスタントが局所的な思考パターンから脱却し、より良い決定計画を行えるように支援します。