Third-party dispatches, not graded receipts
OpenAI releases manuscripts said to solve hundreds of open math questions
OpenAI published a batch of mathematical manuscripts, including a claimed proof of Barnette's Conjecture, drawing attention from mathematicians. Relevant to tracking AI progress on research-level mathematics.
“Solutions to ‘hundreds’ of open questions are said to be included in a batch of manuscripts released by OpenAI.”
Bears on: ai-imo-gold-medal-by-2025