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
Smashing the token limit with overlapping fragments
4+ hour, 28+ min ago (698+ words) Burp Suite's web vulnerability scanner What's the difference between Pro and DAST? Download the latest version of Burp Suite. Gareth’s CSS can tell us which short chunks appear in a link, but it can’t tell us where they appear. That…...
Gemma 4 31B vs Muse Spark: Benchmarks & Cost
15+ hour, 32+ min ago (327+ words) Updated October 5, 2026. Rank says Muse Spark is ahead. Price, access, and your workload can each overturn that. Public scores include evidence status and uncertainty. Gemma 4 31B vs Muse Spark Muse Spark has the higher public point estimate, 59.99 versus 40.44. Their conditional score…...
Plumb-4B vs SWE-2: Benchmarks & Cost
15+ hour, 32+ min ago (245+ words) Updated October 5, 2026. We do not rank this pair: at least one has no public score. Public scores include evidence status and uncertainty. The public evidence has no benchmark result shared by both models, so it does not support a quality…...
Together Link: frontier-quality open models in the harness you already use
3+ hour, 56+ min ago (510+ words) Introducing Together Link: Run open models inside the harness you already use → The Open Source AI Stack: models, inference, routers, harnesses & tools → 📈 GLM-5.3 vs. GLM 5.3 Flash on DeepSWE → 🚀 DeepSeek V4 Pro 0813 vs. GPT-5.6 Sol on DeepSWE → ⚡ On-demand B200s now available on Together…...
Zoya Abbasi and Jaden Saïd win 2026 Applied Mathematics, Modeling and Computational Science (AMMCS) prize | Mathematics | University of Waterloo
1+ hour, 28+ min ago (398+ words) Congratulations to Zoya Abbasi and Jaden Saïd, winners of the 2026 Applied Mathematics, Modeling and Computational Science (AMMCS) prizes at this year’s AMMCS International conference. Abassi. a PhD Candidate in Applied Mathematics, received the 2nd place award in the Special Session Talks…...
Terence Tao to Explore the Future of AI-Assisted Mathematics at Caltech Lecture
11+ hour, 31+ min ago (291+ words) coloradoboulevard.net With the academic year in full swing, Caltech’s public lecture series is returning with a presentation connecting mathematics and artificial intelligence. On Wednesday, October 9, at 7:00 pm, UCLA mathematics professor Terence Tao will present “Machine Assisted Proof” as part…...
A new kind of microscope: Agentic AI turns simple language into self-guided experimentation
42+ min ago (915+ words) Tao Zhou, scientist with the CNM, loads a sample into the Hard X-ray Nanoprobe beamline at the APS in preparation for the SYNAPS-I demonstration. Science has increasingly used artificial intelligence (AI) as a kind of microscope — sorting data, analyzing images…...
Cognition (@cognition) on X
1+ hour, 48+ min ago (49+ words) Cognition on X: "Introducing Dreaming: Across sessions, Devin builds a memory graph of how you like to work At night Devin self-improves its memory to remove stale records and discover latent information We are creating an OSS standard called Agent Mem…...
Risotto Launches Autonomous IT Engineer That Investigates, Resolves, and Automates Complex Employee Support Tasks
15+ hour, 32+ min ago (398+ words) Risotto, the AI-native autonomous help desk, today announced the launch of its Risotto Launches Autonomous IT Engineer. The new co-pilot is capable of solving complicated tier-2 requests by investigating problems it hasnt seen before, analyzing logs, and executing fixes…...
AI Search Engineers, the No. 1 AI Search Results Engineering Agency in the USA, Marks October 1st as the Most Important Day in Professional Service AI Search History, Announcing Three Q4 AI & Media Blowout Giveaway Winners and the Public Launch of Six AI Agents Running 24/7/365
4+ hour, 30+ min ago (42+ words) AI Search Engineers, the No. 1 AI Search Results Engineering Agency in the USA, Marks October 1st as the Most Important Day in Professional Service AI Search History, Announcing Three Q4 AI & Media Blowout Giveaway Winners and the Public Launch of itemonline.com...