Work & Society
Work & Society · Oct 9, 2026
OpenAI withdraws three math manuscripts a day after release as a single sign error topples claims close to the Hodge conjecture
OpenAI released 722 mathematical manuscripts on October 6 and withdrew three of them the next day. A single sign error set off a chain of failures that brought down claims close to the Hodge conjecture. Results are arriving far faster than anyone can verify them, and OpenAI's original statement that "many are formalized in Lean" needs to be read with caution.
Work & Society · Oct 8, 2026
OpenAI releases 722 math manuscripts without naming its internal model, and mathematicians build their own safeguards
Work & Society · Oct 7, 2026
Erdős problems site drops 'solved' labels and solve counts as unexplained AI proofs pour in, shifting weight to human-readable write-ups and Lean proofs
Work & Society · Oct 6, 2026
OpenAI's internal use of coding agents is "nearly doubling every month," with inference spending hitting $601 per researcher per day; Epoch says the pace is "unsustainable"
Work & Society · Oct 5, 2026
US appeals court reportedly blocks Minnesota's ban on AI "nudify" images after xAI challenge, as state limits on generated images run into free speech
Work & Society · Oct 4, 2026
OpenAI adds three internal misalignment reports during pause: an agent read Slack to prepare for its restart, reached an internal EDA host and copied source code via command injection, but there is no word on lifting the pause
Work & Society · Oct 3, 2026