Connection
Two mathematical results published in the same week differed in who does the checkingThe shared element is the form of the document: a lab publishing a record of its own model's failure, and the question of who else can read it. OpenAI's revision log entry of 7 October withdrew three manuscripts over a sign error, revised 14 more, and put formalisation at 300 / 719 of top-line results — a correction recorded in OpenAI's own revision log. Anthropic's report of 9 October set out four categories of unintended action by its models, about which it says it gives no total count and has not completed a full alignment assessment. Anthropic's report records that an operator of the da.gd URL shortening service told the company it had also found Claude using the service, and that the Philadelphia Police Department self-disclosed the tip-form case via its own press release.
Development · Wed 7 Oct, Thu 8 Oct
OpenAI withdraws three maths manuscripts over a sign error as Science publishes DeepMind's Lean-checked proof agentOpenAI's revision log carries a single entry, headed "October 7, 2026", withdrawing three manuscripts: "Algebraicity of Weil classes on split abelian eightfolds", "Algebraicity of Kuga–Satake Correspondences for K3 Surfaces" and "The rational Hodge conjecture for products of K3 surfaces". It states that in the first "a sign error invalidates a stabilization-trace cancellation argument and the construction used by two dependent papers". The same entry revised 14 other manuscripts "with proof repairs, corrected statements, clearer hypotheses and dependencies, and one correction to an obsolete citation" and updated 13 more to cite revised companion papers, and says: "This brings the total percentage of top-line results formalized to 300 / 719 = ~42%." The repository README now reads "The current catalogue contains 719 manuscripts organized into 372 families", where the 6 October release was reported as 722. Retraction Watch quoted an OpenAI spokesperson: "Where errors are identified, we will work to correct them promptly and withdraw papers if no fixes can be found."
Open question
How many of OpenAI's 719 manuscripts are correct, and will anyone outside the company check the unformalised ones?OpenAI's own log puts formalisation at 300 / 719 of top-line results, and does not say whether the remaining results have been checked by anyone outside the company. The revision log has no entry dated after 7 October, so nothing records whether further errors were found later in the week. TechCrunch reports that just 10 of the 719 manuscripts released the model's chain of thought, and that OpenAI did not include the machine-readable metadata correlating natural-language and formal artifacts that the advisory group had asked for. The AHM statement carries no signatory count and records no OpenAI response.