Two Labs’ Claimed Refutations of the Exponential Time Hypothesis Turn Verification Into a Statement-Reading Problem, and Their Lean Theorems Promise Only That a Constant Exists
OpenAI and Anthropic each published Lean files for a claimed...
Browse Tag
OpenAI
51 Articles
A Brotli Flaw Found by OpenAI Codex Security Forced Patches in Node.js, .NET and Python, and Vendors Rate It From Medium to Critical
The fix reached Brotli’s source on February 27, 236 days before...
OpenAI’s Offline World Turns “No Internet” Into a Perimeter Claim, and Its Own Red Team Found Limited Internet Access Through Almost Every Service Left Connected
OpenAI’s October 23 post says frontier training now runs with no...
Red-Teaming the OpenAI Agent Monitor Turns Oversight Into a Coverage Ledger, and the METR Post Is a Pilot Designed to Publish Little
A three-week pilot red team of OpenAI’s agent monitor found...
OpenAI’s Habitat Sequel Turns Cosmos DB Multi-Tenancy Into a Co-Managed Partnership, and Its 12x Is a Median With No Hit Rate
OpenAI’s Habitat Part II matches Azure’s documented limits, but...
Microsoft’s MAI-DxO Turns “AI Beats Doctors” Into a Cost-Control Claim, Because Plain GPT-5 Already More Than Doubles the Open-Book Doctor Score
Microsoft’s Science paper puts MAI-DxO at 83.2% against...
OpenAI’s Usage Policy Rewrite Turns Model Gateways Into an Approval Request and Fences Off Training Signals, but the Announcement Barely Mentions the Training Rules
OpenAI’s Usage Policies, effective November 20, require prior...
OpenAI’s EU Agentic Report Turns Token Share Into a Country Ranking Uncorrelated With Eurostat’s AI Data
OpenAI’s new EU report says agents now produce more than half of...
OpenAI’s textGrain Turns the EU’s Text-Marking Rule Into a Detector Only Approved Experts Can Run
OpenAI will watermark ChatGPT and Codex text in the EU and offer...
OpenAI Launches Dots, Always-On Agents, and Says It Is Still Fixing Known Vulnerabilities
OpenAI launched always-on dots agents with their own cloud...