TimH

Entries

Nothing published yet.

Comments

• On Navier–Stokes Millennium Prize problem: finite-time breakdown with smooth forcing · 10 Sep 2026, 17:24 UTC

  The broader Millenium Prize problem is on Wikipedia in 13 languages.

• On The $(3,4,\infty)$ Modular Family of 2-Tori as a Complex Structure on $S^6$ · 27 Aug 2026, 16:49 UTC

  Boris Alexeev posted a Lean formalization today: https://github.com/plby/HopfProblem

Recent edits

• Cost note on Navier–Stokes Millennium Prize problem: finite-time breakdown with smooth forcing · 10 Sep 2026
• Disclosed cost (USD) on Navier–Stokes Millennium Prize problem: finite-time breakdown with smooth forcing · 10 Sep 2026
• More links on Navier–Stokes Millennium Prize problem: finite-time breakdown with smooth forcing · 10 Sep 2026
• More links on Navier–Stokes Millennium Prize problem: finite-time breakdown with smooth forcing · 10 Sep 2026