Mandelbrot area estimate builds on Böttcher-series upper bound, open-sourced with cross-checked precision
geoffreyirving · x · 2026-10-06
The estimate grew out of the author's earlier repo bounding the area from above via the Böttcher series (girving/mandelbrot); the new result sits on its hybrid-area branch. Double precision was checked against double-double arithmetic, and an independent run agrees within its ±2.7e-10 95% CI. The repo includes the full C++/CUDA implementation and tests.
More from Research
- Domain-driven development in Lean: using theorem proving to separate what from how — hargup13 · 2026-10-06
- Top 3 frontier AI labs grade CAD benchmarks wrong, scores off by up to 90% — hudzah · 2026-10-06
- SDE Matching extended beyond one-time marginals to learn generative models in physical time — canaesseth · 2026-10-06
- Helmholtz-SDE closes the approximation gap in simulation-free latent SDE inference — canaesseth · 2026-10-06
- Gaussian Flow Dynamics enables simulation-free neural SDEs learning temporal structure — canaesseth · 2026-10-06
- OCBench offers human-like scripted policies for scalable robot BC/RL research — kevin_zakka · 2026-10-06