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.
The result that matters most for how we build models is this: Darwin inherited its expert layers from Qwen3.8-Flash-Next, and the parent model, listed on the same board as Qwen3.8-Flash, placed 15th overall with 57.89 in math and science reasoning. The child outscored the parent by 15.8 points on the…
Autumn sale Get 60% offAutumn saleGet 60% off Thursday 5 November 2026 Like many journalists, I’m fascinated and petrified by the mathpocalypse – or sloppocalypse if you prefer – of AI companies using some of the hardest mathematical problems to test their latest models: fascinated by the power and the…
A computer-checked version of key parts of the Navier–Stokes problem is now public, with every change and every credit spelled out KTS Global has also published a smaller, earlier-stage project linked to the work of mathematician…
This study assesses physics-informed neural networks (PINNs) for the unsteady two-dimensional flow past a rotating circular cylinder confined in a channel (blockage ratio 0.2) at Reynolds numbers of 50, 200 and 500. The networks…
Finding the shortest route between two locations is something navigation apps like Google Maps do every day. Behind the scenes, sophisticated algorithms analyze networks of roads and intersections to identify efficient paths. But…
Researchers used ten chaotic variants of a birds-of-prey optimizer to tune quadrotor LQR controllers, uncovering a trade-off between tracking precision and energy use in simulation.
Axiom Math has released a machine-checked Lean formalization of the Stacks Project, a roughly 7,500-page open-source reference for algebraic geometry. The startup says coordinated AI agents produced about 16 million lines of code linking thousands of definitions, lemmas and theorems into one reusable library. [1] The claim is narrower than…
Lubis EDA has released FormalOs, a verification infrastructure platform which is designed to be a tool-agnostic orchestration layer for verification for SoC, asic and IP sign-off projects. According to the company, it unifies…