Internal Codex version found the same counterexample in a proof attempt
aaron_lou · x · 2026-07-21
A thread sharing a writeup from an internal version of Codex says the model found essentially the same counterexample that Levent discovered, even without web search.
The post frames this as a useful internal proof attempt: the model produced a clean summary of the strategy, and the author highlights the result as a noteworthy capability signal for Codex-style systems.
More from Models
- Developer Building a Unified Leaderboard of All Model Benchmark Scores — airesearch12 · 2026-09-11
- Rumor claims Kimi faked performance by serving Claude; DeepSeek new model surprises in evals — realsohamparekh · 2026-09-11
- GPT-5.6 writes well but is instantly forgettable, user complains — BasedRaddka · 2026-09-11
- Opus Refuses Protein Research Codebase Over 'Safety' Concerns, Dev Considers Rolling His Own — josephdviviano · 2026-09-11
- User Hails Unconfirmed 'DeepSeek 4.1 Flash' as an Inflection Point in LLMs — himanshustwts · 2026-09-11
- Terminal Bench v4: GLM-5.3 Leads at 41.9%, Kimi-K3 Underwhelms at 12.6% — Ok_Warning2146 · 2026-09-11