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
GLM-5V-Turbo vs Mercury 2.5: Benchmarks & Cost
1+ day, 4+ hour ago (328+ words) Keep up with the models you depend on. Follow price changes, retirements, and API updates.Follow the models you depend on. Supported · Public rank #80 Updated September 8, 2026. Public scores include evidence status and uncertainty. They are not guarantees for a specific…...
Converting TSV to YAML: A Guide to Reliable Data Serialization
15+ min ago (205+ words) When working with configuration management systems like Ansible, Kubernetes, or Docker Compose, YAML is the standard. But data often starts in spreadsheets, CSV exports, or tab-separated values (TSV) from databases. Manually converting TSV to YAML is error-prone. A single misplaced…...
OpenAI publishes its Navier-Stokes proof and says it will not claim the Millennium Prize
31+ min ago (320+ words) OpenAI has published its Navier-Stokes writeup, paper and Lean formalisation, says the result establishes statements C and D of the Millennium Prize formulation, and will not claim the prize....
Suricata IDS/IPS Setup: 12 Steps, 4x Snort Speed
26+ min ago (1593+ words) Suricata is not picky about hardware, but the wrong OS version or a missing package will cost you an hour of debugging later. Confirm you have the following before Step 1. You will also want a second machine or VM to…...
OpenAI's AI Cracks a Math Puzzle That Stumped Scientists for 90 Years
29+ min ago (394+ words) Around Prague OpenAI's AI Cracks a Math Puzzle That Stumped Scientists for 90 Years Three men attacked a fallen victim in Třebíč — court hands down sentences of up to 8.5 years 200 barrels of hazardous chemicals buried by the army found in Šumava…...
AI Model Decodes the Language Cells Use To Communicate
21+ min ago (580+ words) As an embryo develops from a small cluster of stem cells, those once “blank slate” cells begin to take on more specialized roles like brain, liver, or muscle cells, and organize themselves into three-dimensional structures such as tissues and organs....
Mercury 2.5 vs Qwen3.7 Plus: Benchmarks & Cost
1+ day, 4+ hour ago (416+ words) Keep up with the models you depend on. Follow price changes, retirements, and API updates.Follow the models you depend on. Updated September 8, 2026. Public scores include evidence status and uncertainty. They are not guarantees for a specific workload. Supported · Public…...
Scientists and algorithms: Finding the right balance in modern drug development
29+ min ago (441+ words) Every few years, drug development goes through a moment where a new technology promises to change everything. Artificial intelligence is having that moment now. Unlike some previous waves of hype, this one is grounded in something real, but only if…...
Charles Hoskinson Raises Questions Over AI-Generated Proofs
37+ min ago (295+ words) Cardano founder Charles Hoskinson says artificial intelligence has advanced in mathematics faster than he expected. He pointed to AI systems that can produce and formally verify complex proofs, including claims tied to the Navier-Stokes Millennium Prize problem. Hoskinson said he…...
OpenAI claims to have solved the 90-year-old Navier-Stokes math problem in 88 hours
24+ min ago (418+ words) OpenAI says it solved the 90-year-old Navier–Stokes mathematics problem in 88 hours, using 10,000 agents and a new artificial intelligence model. It said it used a system of "coordinating agents" powered by its internal AI model. "The agents arrived at their…...