Claims

../

1961_01_01_pommerenke: Pommerenke's 1961 example of a monic polynomial whose set |f| <= 1 projects onto every line to measure above 2.386, the negative answer to the projection question; refereed, and credited by the site's curator.

2025_12_28_alexeev: A Lean 4 disproof, found by Aristotle from the formal statement and published by Boris Alexeev, that every projection of the set where |z^16 - 1| <= 1 has measure above 2; built and audited by this corpus, so accepted.

---