bluesky — @bonumsomnium.bsky.social — 12 Oct 2026
This was just the same when OpenAI just slung a zip file with "proofs" that they hadn't verified. Many mathematicians ha…
#ai-mathematics #research-ethics #formal-verification
This was just the same when OpenAI just slung a zip file with "proofs" that they hadn't verified. Many mathematicians hated it since making proof is about further the field through collaboration and building on already existing paper. What OpenAI did was just to shoot an shotgun through a wall.