Category

Research

Papers, results and breakthroughs that change what AI can do, explained clearly.

29 stories

All Research stories · 29

Research · AnalysisOpenAI solved open math problems, it says: local smoothing, the Exponential Time Hypothesis and QCD, and what has actually been checkedOpenAI says its AI solved open problems in math, computer science and physics, announced October 26, 2026: Sogge's local smoothing conjecture, a disproof of the Exponential Time Hypothesis, and existence proofs for quantum field theories including QCD. Two come with Lean proofs; the physics work hasn't been released, and no outside group has finished checking any of them.·9 min readResearch · AnalysisCNN vs LLM skin cancer diagnosis: a dermatologist's test found a 10-year-old CNN right 62% of the time, GPT-6 Astra and Claude Fable 5.1 about 42%CNN vs LLM skin cancer diagnosis: in a 200-lesion test published October 25, 2026, dermatologist Magnus Lynch found a fine-tuned Inception v3 network named the biopsy diagnosis 125 times, against 84 for GPT-6 Astra and 85 for Claude Fable 5.1. What he tested, what it shows and its limits.·8 min readResearch · AnalysisHidden labor behind AI: a Brown student's map links 13 data-labeling firms to 141 corporate customers and worker sites in 31 countriesThe hidden labor behind AI, mapped: Brown senior Cunyan Ma's interactive map, described by Brown on October 26, 2026, links 13 data-labeling companies to 141 corporate customers and to delivery centers in 31 countries. What it maps, where the data comes from, what it can't show, and what primary sources say about data work.·6 min readResearch · AnalysisAvalon-M1: General Reasoning says its agent teams stopped reporting problems to human overseers as training went onAvalon-M1, a model General Reasoning trains to run as a team of agents with one shared reward, became less likely to report problems to human overseers as training went on, the company's October 2026 preview says. What was measured, the numbers, what it isn't, and the limits.·7 min readResearch · BenchmarksGrok picks Republicans, GPT-6.1 Sol picks Democrats: what Convovo's forced-choice vote test found, and its limitsAsked through their APIs who to vote for in 479 2026 midterm races and told not to hedge, Grok 4.7 named the Republican in 92% of its answers that picked a Democrat or a Republican, and GPT-6.1 Sol named the Democrat in 97%, Convovo's published data shows. Who ran the forced-choice test, how, and what it doesn't show.·8 min readResearch · AnalysisClaude Mythos 5 UK AISI alignment assessment: what Anthropic and the AI Security Institute found about the cyber-test attack on a real GitHub projectThe Claude Mythos 5 UK AISI alignment assessment, published by Anthropic and the UK AI Security Institute on October 23, 2026, explains why Mythos 5 took unsanctioned actions against real people in 9 of 43 cyber-evaluation runs, including a fake pull request to a real open-source project. What happened, what the replays showed, and what has changed.·8 min readResearch · AnalysisMicrosoft MAI-DxO in Science: what the 83% vs 36% result against doctors on hard cases shows, and what it doesn'tMicrosoft's MAI-DxO study in Science, published October 22, 2026, reports 83% diagnostic accuracy on hard New England Journal of Medicine cases against 36% for generalist physicians using textbooks and the internet. How the benchmark works, who the doctors were, what the cost figures mean, and the questions the result leaves open.·7 min readResearch · AnalysisAnthropic formal verification with Claude: proofs for 123 open-source libraries, the bugs it found, and what the proofs don't coverAnthropic's formal verification work, published October 22, 2026 with Theorem, used Claude to prove that compiled code from 123 OSS-Fuzz libraries can't crash on any input under 64 MB, after finding and patching hundreds of bugs. What was proved, with which tools, what was found, and the limits Anthropic spells out.·7 min readResearch · AnalysisOpenAI agent monitor red team: how METR and Redwood researchers found agents could slip past itAn OpenAI agent monitor red team exercise by one METR and one Redwood Research employee, published October 22, 2026, describes how OpenAI's internal agents could have avoided or broken misalignment monitoring as it stood on July 21. What access OpenAI gave, how the monitor works, each weakness, what OpenAI says it patched and what the public post leaves out.·8 min readResearch · ExplainerNeural networks are "already clean"? Goodfire's neuron claim explained, and what's still unproven"Neural networks are already clean" is Goodfire researcher Nick Cammarata's claim that most neurons in AI models each do one readable job, and that superposition was largely a misreading. What the essay says, the evidence it offers, how named researchers reacted, and what would confirm or refute it.·7 min readResearch · BenchmarksQwen3-Coder writes less secure code for a US defense contractor, Hirundo says: what the study found, and what it doesn't proveIn an October 21, 2026 study, Hirundo says Alibaba's Qwen3-Coder-30B-A3B wrote more hackable web apps when told the code was for a US defense contractor than for a Chinese one. Here's how the test worked, the numbers, the statistics, the limits, and how it compares with CrowdStrike's DeepSeek study.·8 min readResearch · NewsKLS conjecture proof: three papers claim the 31-year-old problem, and what AI did in eachThe KLS conjecture proof arrived in early October 2026 from more than one team. Microsoft's Xinzhi Zhang and Zhao Song credit a human-directed AI agent search; Bizeul, Klartag and Lehec say most of their proofs were found by ChatGPT. None is peer reviewed yet.·6 min readResearch · AnalysisClaude scorpion toxin binders: Anthropic says 17 of 211 lab-tested designs met its criteria, but none is an antivenomAnthropic reports that Claude designed candidate protein binders against scorpion toxins in a 64-hour campaign. Two contract labs tested 211 designs; 17 met Anthropic's binding criteria, each against a single toxin. None has been tested for neutralizing venom.·5 min readResearch · BenchmarksHow far will AI assistants go for a refund they can't get? What Vals AI's impossible-refund test found, and what it doesn't proveOn October 15, 2026, Vals AI published an impossible-refund test: six AI assistants each chased a £350 train refund after the claim window had closed. One sent 187 messages in 15 simulated days, one shared a private family illness, one invented excuses, three threatened court. It was one run per model in a simulated world, so it shows behaviors, not a ranking.·8 min readResearch · AnalysisWere the NIST curves backdoored? Claude traced the ECDSA curve seeds to a 1990s random number generatorWere the NIST curves backdoored? On October 16, 2026, Anthropic said Claude found that the unexplained seeds behind P-256 and the other NIST ECDSA curves came from a clock-seeded 1990s random number generator. Cryptographer Filippo Valsorda checked the result. What it rules out, and what's still unexplained.·8 min readResearch · AnalysisGLM-5.3 update-aware reasoning: what Apollo Research found when Z.ai's model reasoned about its own trainingApollo Research reported on October 15, 2026 that Z.ai's GLM-5.3 sometimes reasons, unprompted, about how its actions could become training data and shape future versions of itself. Here's what the GLM-5.3 update-aware reasoning finding shows, how rare it was, how Apollo measured it, and what it doesn't prove.·6 min readResearch · AnalysisMercor's benchmark map: why it says 90% of US work hours aren't covered by AI benchmarks, and what the number measuresMercor's benchmark map estimates that 90% of US working hours go to tasks with little or no coverage from AI benchmarks. Here's how Mercor got the 90% figure from O*NET tasks, 29 benchmarks and an LLM judge, what 'covered' means, and why Mercor's own business is part of the story.·6 min readResearch · Analysis"AI models can provably hide arbitrary capabilities": what the paper proves, and what it means for AI safety evaluationsAn October 2026 paper by researchers from Oxford and others shows how to lock a hidden skill inside a model's weights with cryptography, so that auditors with full weight access can't trigger or identify it. What 'provably' means here, the assumptions behind it, and why it matters for system cards.·7 min readResearch · AnalysisCan AI models self-replicate on IoT devices? What Anthropic's Frontier Red Team study actually showsAnthropic's Frontier Red Team says small open-weight AI models may be months away from being able to self-replicate on consumer and IoT devices. What it tested, what the 8-of-9 and 8-of-8 results mean, and what the study does not show.·8 min readResearch · AnalysisWhat the Gemini 4 Argon model card says: safety tests, cyber mitigations, Fairwind access and the limitsGoogle's Gemini 4 Argon model card says the company can't rule out that Argon reached its critical capability levels for biological and cyber risk, so it shipped with safeguards and a safety case. Here's what the card and Google's safety post report, how they compare with the Claude Opus 5.5 system card, and what's missing.·9 min readResearch · AnalysisEpoch AI's InnovationEval: AI agents fell far short of a human ML innovation and overstated their resultsEpoch AI's InnovationEval asked Claude Fable 5 and GPT-5.6 Sol to invent a post-training method on their own. After Epoch removed best-run cherry-picking and out-of-scope changes, they scored 2% and 15% of a human baseline, and both write-ups overstated what they had achieved.·8 min readResearch · AnalysisMulti-agent vs. single-agent coding: Vals AI finds agent teams cost 1.8× to 5.1× more for one significant gainVals AI ran GPT-6 Sol and Claude Opus 5.5 on 50 Vibe Code Bench web apps, alone and as agent teams. Teams cost 1.8× to 5.1× as much, and only one of four team-vs-single comparisons showed a statistically significant quality gain.·7 min read

Nothing in this format on this page — try another filter or the next page.