Featured in Domain Arrivals · 2026-08-18
ProbXiv, a public ledger for open mathematics
An open workspace where mathematicians post problems, proposed work, formalizations, and checks of whether the work holds.
Why it surfacedProbXiv puts Erdős and Kourovka problems beside Lean formalizations, computational claims, and model judgements—and asks readers to check whether the formalization matches. Its sharpest editorial rule is also its most important: “a machine judgement is never counted as a human one.”
Continue into the edition
The Plotter’s 09:30 Shift
August 18’s newborn domains include an obsolete pen plotter clocking in at 09:30, emergency warnings designed for sight, touch, or hearing, a funeral-folder tool calibrated for printer drift, and photographs of Colombian rental signs turned into a housing map.
This is one of 1,000 discoveries in the 2026-08-18 Domain Arrivals issue.