Company post, NYT, and New Scientist: unnamed model beyond Astra; Lean proof; Clay prize not claimed; concurrent Buckmaster–Alpöge work disputed.