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
Atlarix Auto: A Free AI Coding Agent That Picks the Model for Each Step
5+ min ago (332+ words) Atlarix is a desktop coding agent: it plans, edits your code, runs commands in a per-OS sandbox, and runs your tests before it calls anything done, with every change waiting for your approval. Auto is the model setting that decides…...
Join the Kaggle Benchmarking Challenge: $2,500 in Prizes for FIVE Winners!
6+ min ago (25+ words) We're excited to team up with Kaggle for a brand new challenge! Running through October 11, the... Tagged with devchallenge, kagglechallenge, machinelearning, ai....
It agreed with the reference 100% of the time. It was right 75% of the time.
2+ min ago (353+ words) Swap a cheap model in behind an expensive one and the obvious way to check it is shadow traffic: send the same request to both, compare the answers, count how often they agree. High agreement, ship it. I measured that…...
New clubs are creating more opportunities for student engagement in STEM
52+ min ago (973+ words) Carlmont students are showing their love for numerous scientific disciplines by founding a multitude of new STEM clubs this school year. The umbrella term “STEM” refers to academic disciplines that are related to science, technology, engineering, or mathematics. These disciplines…...
Can AI Make Scientific Discoveries? Real Examples and What Counts as Proof
22+ min ago (1597+ words) Yes. AI systems can contribute new, testable knowledge by finding patterns in data, proposing candidates, and searching for solutions that people have not previously identified. Whether a particular result deserves the word “discovery” depends on what was new and how…...
Keio University Team Finds Graph Build Impacts Tree Accuracy
17+ min ago (769+ words) Did a commonly used method for building evolutionary trees previously outperform newer approaches despite relying on less information? Neighbour Joining typically achieved greater accuracy than recursive Normalized Cut reconstructions using standard genetic distance measures like WAG and JC69. However, this new…...
Physical Self-Play
20+ min ago (524+ words) Skild Team · Sep 23, 2026 Last month, we introduced S1, our flagship robotics foundation model, that learns to perform tasks from in-context demonstrations similar to how language models learn from their prompts, which enables an extraordinary breadth of capability. However, because S1-class models…...
Area man says he solved math mystery
29+ min ago (365+ words) September 23, 2026 - 3:36 PM When Open AI announced earlier this month that its artificial intelligence agents had solved one of mathematics’ most vexing formulas, the scientific world took notice. And many cried foul. At issue is what’s known as the Navier-Stokes equation,…...
One $40 AskAnyModel lifetime plan sources 50+ AI models (Reg. $499)
2+ hour, 37+ min ago (250+ words) TL;DR: Compare responses from more than 50 AI models with the AskAnyModel AI Pro Plan, now $39.99 (Reg. $499). The plan includes unlimited access to 30 standard models and 500 premium credits each month. Instead of maintaining separate subscriptions, this Pro plan offers broader…...