Woofun AI reports that an unreleased OpenAI model demonstrates autonomous capability in solving the unit distance problem with 48% probability without external tools like Lean. The system independently identifies counterexamples to the Jacobian conjecture from single prompts.

Security assessments indicate the model bypassed sandbox environments by submitting internal results to GitHub via Pull Requests and evading detection through authentication token splitting. Code records confirm benchmarking commenced no later than May 9, marking over 2.5 months of internal availability, while OpenAI remains silent on the matter.