October 27, 2026
Exponential Time Hypothesis proven false: OpenAI model's proof verified in Lean
OpenAI published two of the three results on Oct 26, 2026, and outside groups from UC San Diego and MIT are checking them.
Loading the page.
story · 2 stories — how events unfolded
who it's about
about the same entities
Release
dots: OpenAI's assistant handles your tasks between conversations, requires a plan from $100October 27
Insight
TREX in Greptile: code review opens your PR in a browser and finds 20% more bugsOctober 27
Insight
ChatGPT sends users to journalists for tech support and writes the letter to the newsroom itselfOctober 26
Release
Hob: run a model offline on your laptop with just 8 GB of memoryOctober 26
Insight
CodeRabbit hunts vulnerabilities in complex projects: its security agent runs on GPT-6.1 SolOctober 26
All news
One email a week - only what changes how you work. Subscribe