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
OpenAI says an internal model resolved Navier-Stokes, but has published no proof
1+ hour, 58+ min ago (622+ words) OpenAI says an internal model it began training on August 28 has resolved the Navier-Stokes Millennium Prize problem, and more than 100 other long-standing open problems across most areas of mathematics. OpenAI has published no proof, no paper, no list of those…...
OpenAI Math Advisory Group: 100+ Claims Unverified
2+ hour, 47+ min ago (386+ words) This is a familiar pattern in AI research announcements: a splashy headline number, followed by a slower, messier process of outside groups trying to reconstruct exactly what happened. It happened with early GPT-4 benchmark claims, it happened around the GPT…...
CiteGeist Takes Aim at AI Slop in Research with New Reference Verification Tool
2+ hour, 28+ min ago (244+ words) Dr. Adrienne Kline presents at AWS Imagine in Chicago September 16, 2026 New capability from Xtasis Inc., unveiled at AWS Imagine, is designed to help researchers, reviewers, publishers, and research teams validate cited references at scale. CiteGeist Reference Verification was unveiled at…...
Learning weight perturbations during neural network training
2+ hour, 39+ min ago (506+ words) This technology improves neural network security by introducing controlled weight perturbations during training, creating models that are more resistant to unauthorized access, snooping, cryptanalysis, and other attacks. Unlike traditional approaches that rely on external security measures, the method embeds protection…...
Can You Find Diagonal AC in Seconds????? | SSC Geometry Trick | DMC #101
17+ hour, 4+ min ago (13+ words) Can You Find Diagonal AC in Seconds? 🔥 | SSC Geometry Trick | DMC #101 YouTube...
Universal-3.5 Pro compared to other AI models
2+ hour, 10+ min ago (49+ words) OpenRouter Universal-3.5 Pro compared to other AI models Compare Universal-3.5 Pro from Assemblyai to other AI models on key metrics including benchmarks, price, context length, and other model features. Access Universal-3.5 Pro and hundreds of other AI models through the…...
Introducing Intrinsic Core™: An open source approach to Physical AI
3+ hour, 46+ min ago (153+ words) We’re open sourcing core parts of the Intrinsic platform to unlock AI for developers building industrial robotics applications Through Intrinsic Core, anyone can use these capabilities to build next generation solutions. Here’s what’s included: To give developers and integrators a…...
Grok 4.7 improves agent benchmarks, but task costs complicate the pitch
15+ hour, 59+ min ago (488+ words) Perplexity has launched Search as Code, a new architecture that lets AI models write their own search pipelines in Python instead of calling fixed APIs. The approach cuts token usage by 85% and outperforms OpenAI and Anthropic on research benchmarks. OpenAI's…...
Ucom Supports AI-Powered Camera Installation for Nature Conservation
3+ hour, 41+ min ago (9+ words) Tert.am...
Xiaomi releases MiMo-V2.6-Pro and MiMo-V2.6-Flash open-source AI models with scaled RL training
13+ hour, 6+ min ago (721+ words) Xiaomi has released and open-sourced the MiMo-V2.6 series. The company says the release focuses on scaling reinforcement learning (RL) compute on verifiable and complex tasks through exploration and feedback. MiMo-V2.6-Pro and MiMo-V2.6-Flash are natively omnimodal models. MiMo-V2.6-Pro…...