Prompt Pack

Skip-Level

Experts Weigh AI Labs' Claim to Refute a Core Computer Science Rule

By · 28 Oct 2026

Skip-Level illustration for “Experts Weigh AI Labs' Claim to Refute a Core Computer Science Rule”
  • Outside experts are now testing claims that AI models refuted a core computer science assumption.
  • Developers say AI speeds their coding, but few organizations have a clear AI strategy.
  • Leaders expect AI to thin out middle management and spread leadership across more people.

Three things engineering and IT managers should know this Wednesday, from how researchers are reacting to a claimed AI breakthrough in computing theory to why your own org chart may be the next thing AI changes.

1. Experts Weigh the Claim That a Core Computing Assumption Fell

The day after OpenAI said its models disproved the Exponential Time Hypothesis, a nearly 30 year old assumption about how hard certain logic puzzles are to solve, outside researchers began weighing in. TechCrunch reports that hours after an Anthropic mathematician suggested OpenAI built on existing work, Anthropic released its own refutation of the hypothesis. OpenAI says it checked its result in Lean, software that verifies proofs, and it commissioned an independent group that includes Russell Impagliazzo and Ramamohan Paturi, who helped propose the hypothesis, to examine the findings. Stefan Szeider at TU Wien told New Scientist he expects the result to withstand scrutiny, but that researchers still need to confirm the formally proven statement means what its authors say it means. MIT professor Ryan Williams, who is organizing his field's response, told TechCrunch he asked OpenAI whether the result breaks any cryptographic systems, and that OpenAI was reasonably confident it did not.

Why it matters: A machine checked proof is not the end of review. Our read: this is the same gap your teams face with AI generated code that passes tests but solves the wrong problem. When leadership asks whether AI just made hard problems easy, the honest answer is that verification is the bottleneck, and it deserves real time and budget. Source: New Scientist

2. The AI Strategy Gap Behind Developer Friction

Atlassian's 2026 State of Developer Experience report finds that 87% of developers say AI helps them ship work faster, yet 72% feel the same or more friction than before AI arrived. The share of developers saving 10 or more hours a week dropped from 68% in 2025 to 25% in 2026, and 65% now regularly spend time correcting AI output. Only 17% of developers and 23% of leaders say their organization has a clearly communicated and implemented AI strategy, and 41% of developers say they sometimes use AI more than necessary because they feel expected to. Developers at organizations with a clear AI strategy are twice as likely to report less friction than before AI.

Why it matters: When usage becomes the scorecard, people perform usage. Our read: the cheapest fix for most managers is a short written statement of which problems AI should solve for the team and how success will be measured. Without it, more AI activity mostly creates more review work downstream. Source: Atlassian State of Developer Experience 2026

3. AI Is Reshaping Who Leads, Starting in the Middle

A Conference Board report based on a survey of 775 international leaders finds that 64% say AI is used across several functions or highly integrated into daily work. Yet 37% say ownership of AI related leadership decisions is inconsistent or unclear. Just 4% of leaders expect fewer C suite roles, while 38% anticipate fewer middle managers. Leaders favor sharing the load, with 36% preferring a hybrid leadership model and 30% a distributed one, and only 5% say a traditional leader centered model fits the AI era. Critical thinking and decision making rank as the most important enduring leadership skill, chosen by 52%.

Why it matters: Middle managers whose value is mostly coordination are the most exposed. Our read: the managers who hold their ground will be the ones who own clear decisions, review AI generated work with good judgment, and coach their teams through change. Source: PR Newswire summary of the Conference Board report

Compiled daily with Grok from public sources and edited by the AIDevPulse team.

Get Skip-Level and the daily brief in your inbox: sign up for the AIDevPulse newsletter. For today's developer news, read today's main brief.

Sources:

Recommended AI prompt

Copy this paragraph into ChatGPT, Claude, Gemini, Grok, or whatever AI you use.

Prompt

I manage an engineering or IT team. Using only the three items in this readout, help me draft a one page note for my team that does three things: states in plain words which problems we want AI to solve for us this quarter and how we will measure success, lists each AI related decision we make and who owns it, and describes how we verify AI generated work before it ships. Keep my team's context in mind: [describe your team's size, the AI tools you use today, and where work most often waits for review]. Do not add facts that are not in the readout, and flag anything I should check before sharing.