The reduced system's answers at relax / aniso1 / aniso2, for the 23 orbits of type (N4): The per-instance times, proof sizes and the SHA-256 of every certified CNF are in cube_groups/results/m98b (m98b_rows.json, m98b_grade.json). The proofs were deleted after checking; anyone can rebuild a CNF with…
Today's log begins with a question for Copilot.shu: This diagram was in a certain book. I believe it is likely a diagram related to geometric analysis, but since I have never received a proper explanation or known its original…
Meer | English edition 12 Dec 2026 — 1 Mar 2027 at the Robin Rice Gallery in Hudson, United States We are pleased to present Soft geometry an exhibition of new paintings by Erica Hauser. The opening reception will be held on Saturday, December 12 from 5 pm…
Maya Valencia Goodall, Amelia Larson, and Miguel Cardona explain why structure, language, and literacy belong together Where the Research Has Already Converged The Distance Between Legislation, Research, and Practice None of that is a reason to stop, and none of…
Bioengineer.org
Tsinghua researchers released SRHarness, an open-source runtime for agentic symbolic regression, and MechBench, a benchmark that tests whether AI can recover the mechanisms behind formulas.
People are asking why there are so many rectangles, and the guy sitting next to me at the bar cannot understand how this is even a question. The way he sees it, they’re simply a functional shape. You wouldn’t want…
Until the late 1970s, shampoo was sold mostly in bottles in India. Many couldn’t afford a whole bottle, so they didn’t buy it at all. Then a small company in Tamil Nadu started selling shampoo in a single-use sachet for under…
OpenAI’s math AI checked its proofs with Lean. I gave the same checker 240 slipped translations. It certified … The AI Proof Was Verified. It Just Proved Something Else. OpenAI’s math AI ch…
Geometry in Art, Nature and Design in Geometry: the news, the names and what changed.
An article joins this feed when it matches these terms. Each one is also a search of its own.