Registry · Remark
IV.R172
conjectural
not_applicable
IV.R172 — Honesty about the Clay problem
Honest scope assessment: regularity is unconditional within the tau-admissible class, but closing the gap to the Clay Millennium Problem's Schwartz-class data requires proving representability or reformulating the Clay problem in tau-admissible terms.