InternLM-Math-Plus

双言語対応のオープンソース大型数学推論言語モデルです。

一般製品プログラミング数学的推論双言語モデル

InternLM-Math-Plusは、最新の双言語（英語と中国語）対応のオープンソース大型言語モデル（LLM）であり、数学的推論に特化しており、数学問題の解決、証明、検証、拡張能力を備えています。非公式な数学的推論（思考連鎖やコード解釈など）と公式な数学的推論（LEAN 4への変換と証明など）において顕著な性能向上を実現しています。

Best AI Websites & Tools

InternLM-Math-Plus

InternLM-Math-Plus 最新のトラフィック状況

InternLM-Math-Plus 訪問数の傾向

InternLM-Math-Plus 訪問地理的分布

InternLM-Math-Plus トラフィックソース

InternLM-Math-Plus 代替品

InternLM-Math-Plus — 双言語対応のオープンソース大型数学推論言語モデルです。

DeepSeek-R1-Distill-Qwen-7B — DeepSeek-R1-Distill-Qwen-7Bは、数学、コード、推論タスクに特化したオープンソースの推論モデルです。

l1m — LLMをベースとした、テキストと画像から構造化データを抽出するためのプロキシAPIです。

Proxy Lite — Proxy Liteは、ウェブ自動化タスクに特化した、オープンソースの30億パラメーターの視覚言語モデル（VLM）です。

AoT — Atom of Thoughts (AoT)は大規模言語モデルの推論性能を向上させるためのフレームワークです。

OpenManus — OpenManusは、招待コードなしで使用できるオープンソースのインテリジェントエージェントプロジェクトです。

CocoIndex — CocoIndexは、カスタム変換ロジックと増分更新をサポートするオープンソースのデータインデックスエンジンです。

NeoBase — NeoBaseは、自然言語でデータベースとやり取りできるオープンソースのAIデータベースアシスタントです。

Instella — Instellaは、AMDが開発した高性能なオープンソース言語モデルであり、オープンソース言語モデルの発展を加速するために設計されています。

Aya Vision 32B — Aya Vision 32Bは、OCR、画像記述、視覚推論など、多様な用途に適した多言語対応のビジュアル言語モデルです。

Aya Vision 8B — 8億パラメーターの多言語視覚言語モデルで、OCR、画像キャプション、視覚推論などの機能をサポートしています。

Scira — Sciraは、ユーザーがインターネット上で情報を検索するのに役立つ、ミニマリストなAI駆動型検索エンジンです。

MindMapper — URL、YouTubeビデオ、またはテキストプロンプトからインタラクティブなマインドマップを生成するWebアプリケーションです。

Firefox翻訳モデル — Firefoxブラウザの翻訳機能向けに最適化された、CPUアクセラレーション対応のニューラル機械翻訳モデルです。

ExplainGitHub — 現代的なGitHubリポジトリ閲覧ツールであり、スマートコードナビゲーションとパフォーマンスの最適化を提供します。

Vibe Coder — Vibe Coderは、音声ベースのAIプログラミング体験を探求するためのオープンソースのVS Code拡張機能です。

GibberLink — 2つの会話型AIエージェントがお互いをAIと確認した後、音声レベルのプロトコルに切り替えて通信します。

Migician — Migicianは、複数の画像の配置に特化した多モーダル大規模言語モデルであり、自由形式の複数の画像の精密配置を実現できます。

smallpond — DuckDBと3FSを基盤とした軽量なデータ処理フレームワーク

PhotoDoodle — PhotoDoodleは、少量のサンプルペアデータから芸術的な画像編集を学習するコード実装です。

Ant Design X Vue — Ant Design X VueはVueベースのAIインターフェースソリューションであり、卓越したAI製品体験の提供を目指しています。

IndexTTS — 産業レベルで制御可能な、効率的なゼロショットテキスト音声変換システム

SWE-RL — 強化学習により、オープンソースソフトウェアの進化における大規模言語モデルの推論能力を向上させます。

DeepGEMM — DeepGEMMは、効率的なFP8行列乗算のためのCUDAライブラリであり、細粒度スケーリングと様々な最適化技術をサポートしています。

Phi-4-mini-instruct — Phi-4-mini-instructは、高品質な推論集約型データに特化した軽量のオープンソース言語モデルです。

Awesome DeepSeek統合 — DeepSeek APIは様々な一般的なソフトウェアと統合されており、開発者やユーザーはDeepSeekの機能に迅速にアクセスできます。

Wan2.1 — Wan2.1は、様々な動画生成タスクに対応する、オープンソースの先進的な大規模動画生成モデルです。

ChatGPT用音声プレーヤー — ChatGPTの「朗読」機能に音声プレーヤーを追加し、ユーザーエクスペリエンスを向上させます。

DeepSeek 日本語版 — DeepSeekは、論理推論、数学、プログラミングタスクに秀でた高度なAI言語モデルです。無料で利用できます。

TableGPT2-7B — TableGPT2-7Bは、表データ処理に特化した大規模言語モデルであり、データ分析やビジネスインテリジェンスのタスクに最適です。