Mathematics

An unreleased internal model produced 722 manuscripts, including claimed progress on the unique games conjecture. Only part of the main results come with Lean formalizations, and the field is split on what that is worth.

Dor Minzer and co-authors posted a weaker four-colour version of the 2-to-1 games conjecture days before OpenAI claimed the full conjecture, which is not yet reviewed.