Install
The Mathematics Search Engine
Mathematics News & Resources
4Mathematics is a specialist search engine for Mathematics. Discover the latest math news and mathematical content. Part of the 4SEARCH network of topic specific search engines.
Latest Articles
AI Math Challenges — US Scholar Criticizes OpenAI's Rushed Proofs
12+ min ago (498+ words) AI Math Challenges — US Scholar Criticizes OpenAI’s Rushed Proofs The Korea Daily AI Math Challenges — US Scholar Criticizes OpenAI’s Rushed Proofs As artificial intelligence continues to solve various mathematical challenges in rapid succession, the global mathematical community is in an…...
Autoloops Gemma 4 31B IT vs GPT-6 Astra: Benchmarks & Cost
1+ day, 21+ hour ago (66+ words) Autoloops Gemma 4 31B IT vs GPT-6 Astra Supported · Public rank #2 Autoloops Gemma 4 31B IT has no comparable published API token rate. Limited Availability · OpenAI Responses API, OpenAI Chat Completions API, ChatGPT Plus, Pro, Business, and Enterprise, Microsoft Azure, AWS Bedrock Autoloops Gemma…...
Autoloops Gemma 4 31B IT vs Inworld Realtime TTS-2
1+ day, 21+ hour ago (453+ words) BenchLM Autoloops Gemma 4 31B IT vs Inworld Realtime TTS-2 Updated October 10, 2026. We do not rank this pair: at least one has no public score. Public scores include evidence status and uncertainty. Both of these models will change. Get the price, version…...
Ministral 3 14B vs Ministral 3 14B (Reasoning): Comparison
1+ day, 21+ hour ago (85+ words) Updated October 10, 2026. We do not rank this pair: at least one has no public score. Public scores include evidence status and uncertainty. This is a same-family comparison, so migration details appear when the source data supports them. Ministral 3 14B vs Ministral…...
Fara1.5-27B vs open-alternative-jev Qwen3.5-4B: Comparison
1+ day, 21+ hour ago (45+ words) BenchLM Fara1.5-27B has no comparable published API token rate. open-alternative-jev Qwen3.5-4B has no comparable published API token rate. Fara1.5-27B and open-alternative-jev Qwen3.5-4B are not ranked on the public lane for agentic tasks, so no winner is named for agentic tasks....
Ministral 3 14B vs Raw Phi-4 mini direct logits: Comparison
1+ day, 21+ hour ago (53+ words) Ministral 3 14B vs Raw Phi-4 mini direct logits Estimated · Public rank #199 Raw Phi-4 mini direct logits has no comparable published API token rate. Raw Phi-4 mini direct logits Raw Phi-4 mini direct logits is not ranked on the public lane for…...
Imajev-4B vs BERT-YN (Answer) (Circa): Benchmarks & Cost
1+ day, 21+ hour ago (54+ words) BenchLM Imajev-4B vs BERT-YN (Answer) (Circa) Imajev-4B has no comparable published API token rate. BERT-YN (Answer) (Circa) has no comparable published API token rate. Imajev-4B and BERT-YN (Answer) (Circa) are not ranked on the public lane for agentic tasks, so…...
OpenJev (thinking, BF16) vs Sakana Fugu-Ultra v1.1
1+ day, 21+ hour ago (50+ words) BenchLM OpenJev (thinking, BF16) vs Sakana Fugu-Ultra v1.1 OpenJev (thinking, BF16) has no comparable published API token rate. OpenJev (thinking, BF16) and Sakana Fugu-Ultra v1.1 are not ranked on the public lane for agentic tasks, so no winner is named for agentic tasks....
open-jev-deberta-v3-large
1+ day, 21+ hour ago (739+ words) Data as of October 10, 2026 · How the score is built Decision readingopen-jev-deberta-v3-large is tracked, but not publicly ranked yet. The profile exposes 2 sourced benchmark rows and leaves unsupported fields blank until a published record exists. open-jev-deberta-v3-large will be repriced,…...
GPT-5.3 Codex vs Raw Qwen3 8B direct logits: Comparison
1+ day, 21+ hour ago (57+ words) BenchLM GPT-5.3 Codex vs Raw Qwen3 8B direct logits Supported · Public rank #49 Raw Qwen3 8B direct logits has no comparable published API token rate. Raw Qwen3 8B direct logits is not ranked on the public lane for agentic tasks, so no winner is named for agentic…...