Can 722 Proofs Give OpenAI’s AI Mathematics A Clearer Direction?
OpenAI published 722 manuscripts from an unnamed model. Their claims are not independently verified, and the work’s mathematical value remains uncertain.
Astral Codex Ten’s Open Thread 454 shares meet-up, translated-document and book-review resources, an AI-safety outreach notice and a publishing update.
Mapping The Gaps In NASA’s Return To The Moon, Featuring Richard Spolzino
NASA engineer Richard Spolzino describes how documenting lunar data gaps is informing instrument choices and data priorities for the agency’s Moon plans.