Skip to content

Sunday, November 1, 2026

Built on napsite.com

Mathematics

Reporting on Mathematics from Lazy Tensor.

Search this sectionA place, person or subject

Showing 2 stories tagged San Francisco

Turn off filter ×

Matching reporting

OpenAI Announces Formal Lean Verification Milestone on Navier-Stokes Millennium Prize Mathematical Framework

Formal Verification Lean Prover Mathematics

San Francisco frontier AI researchers release machine-checked Lean 4 formalization and analytical partial differential equation bounds…

Oct 17, 2026By Lazy Tensor

3 min read

OpenAI Forms Independent Mathematics Advisory Group After Model Resolves Over 100 Open Problems

Frontier AI Academic Research San Francisco

Nine world-renowned mathematicians including Timothy Gowers, Ravi Vakil, and Edward Witten will guide responsible verification and…

Oct 16, 2026By Lazy Tensor

3 min read