【悲報】数学の数式検索エンジン、絶滅の危機？使えそうなサイトを調べてみた

数学の数式を検索したいとき、皆さんはどこを使っていますか？現状を調べてみたので共有します。・approach0.xyz：オフラインでアクセス不可。・searchonmath.com：精度が微妙。『F = m a』で検索しても『p = m v』のような無関係な結果ばかり出てくる。・https://search.mathweb.org/ ：放置されたプロジェクトやリンク切れのサイトが集まっている墓場状態。現状、これといった決定打が見当たりません。おすすめのツールがあればぜひ教えてください。

特に順序は問わないけど、これらだよ：

https://matlas.ai (https://matlas.ai)

https://www.mathdeck.org (https://www.mathdeck.org)

https://portal.mardi4nfdi.de/wiki/Portal (https://portal.mardi4nfdi.de/wiki/Portal)

https://www.theoremsearch.com/search (https://www.theoremsearch.com/search)

https://ansumandas441.github.io/mathematical-discovery-engin... (https://ansumandas441.github.io/mathematical-discovery-engine/graph_viewer_3d.html)

https://www.wolframalpha.com/ (https://www.wolframalpha.com/)

もしその数式が整数列を生成するなら、OEISで検索するとかなり有益な情報が得られるはず。

「オンライン整数列大辞典（OEIS）」は結構使えるよ： https://oeis.org/ (https://oeis.org/)

少し関連があるものとして：
https://oeis.org (https://oeis.org)

Wolfram Alphaには一票。でもCheggと同じで、Wolfram AlphaもAIによる破壊的な影響を強く受けると思ってた。大学時代はかなり使ったけど、それ以降は全然使ってないな。今の大学生はまだ使ってるのかな？

これも試してみて。

https://en.wikipedia.org/wiki/Lists_of_mathematics_topics (https://en.wikipedia.org/wiki/Lists_of_mathematics_topics)

https://en.wikipedia.org/wiki/List_of_rules_of_inference (https://en.wikipedia.org/wiki/List_of_rules_of_inference)

https://en.wikipedia.org/wiki/List_of_scientific_equations_n... (https://en.wikipedia.org/wiki/List_of_scientific_equations_named_after_people)

https://en.wikipedia.org/w/index.php?search=List+of+scientif... (https://en.wikipedia.org/w/index.php?search=List+of+scientific+equations&title=Special:Search&ns0=1)

何事においても、まともな検索エンジンはどこへ消えたんだ？

ユーザーをLLMに強制的に誘導しようとする動きのせいで、関連性の高いページを見つけるという検索本来の機能が劇的に低下している。Googleに限った話じゃないけど。

なぜ誰も、検索クエリのセマンティックな意味を解釈して、それに密接に関連するページを見つけるためにLLMを活用しないのか不思議だ。

これはワシントン大学のMath AI Labが発表した2つの論文に基づくtheoremgraph/theoremsearchだね。

検索ツールのリンクはこちら：
https://www.theoremsearch.com/ (https://www.theoremsearch.com/) (https://arxiv.org/abs/2602.05216 (https://arxiv.org/abs/2602.05216)) + キャッチコピー（自然言語で結果を記述すれば、TheoremSearchがarXivやStacks Projectなどを横断して検索してくれる。LLM検索よりも70%高精度。）

https://www.theoremsearch.com/theorem-graph (https://www.theoremsearch.com/theorem-graph) (https://arxiv.org/abs/2606.25363 (https://arxiv.org/abs/2606.25363)) + キャッチコピー（非公式・公式数学の双方を網羅する、命題レベルの依存関係グラフ。共有埋め込み空間を通じてMathlibとリンクされた1170万件のarXivの命題を含む。）

MCPも公開されていてAPIとドキュメントも確認できるから、エージェントと一緒に動くはずだよ！

探しているものとは少し違うかもしれないけど、関連するものとして紹介させて。最近、解から代数方程式を導き出すRIESをモダンなRust / WASM版として作り直したものがあるんだ： https://maxwellsantoro.com/projects/ries-rs/ (https://maxwellsantoro.com/projects/ries-rs/)