OpenAI withdraws three mathematical results
Summary
Dan Roberts discusses updates to a GitHub math repo: 6 new Lean formalizations, 19 modifications, and 3 withdrawals, with ~42% of top-line results formalized. He pledges ongoing updates and errata monitoring, and a separate post lists three manuscript withdrawals.