Tag: #formalverification

Petrillo and Glimm Define a Precise Target for Unforced 3D Navier‑Stokes Blowup Searches

A new arXiv preprint formalizes the 'positive defect' target and admissibility criteria to guide computer-assisted searches for unforced 3D Navier‑Stokes blowup.

#navierstokes, #mathematics, #fluiddynamics, #formalverification

Preprint: Magenta reportedly turns olympiad math into Lean statements and machine-checked proofs

An arXiv preprint says Magenta converts olympiad problems into Lean and produces machine‑checked proofs, including claimed IMO solutions — but no public code or independent replication yet.

#ai, #formalverification, #lean, #mathematics