Seems like a way to make the careful work of Bastounis, Circelli and Hansen more difficult moving forward. Mathematics is a field where quality and intuition building matter; this flood of findings is not conducive to mathematics, only to the prep for an ipo.
arxiv.org/abs/2610.08144
arxiv.org
Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this pro...
![How are scientists adjusting the way they work during the Trump administration?
The survey asked a representative sample of university based scientists: "Since January 2025, have you intentionally done any of the following due to concerns about possible negative consequences for you, your work environment, or your career?" [then data]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:7zwztfs4yywggefayx7oid35/bafkreidlcj6tm2s3nagf4xxeaedtvcwsoxvo3ovvo2iwuvikm7xmpur66a)
