{"type":"post","id":"business-insider-psi-used-an-unreleased-anthropic-model-facd0b","slug":"business-insider-psi-used-an-unreleased-anthropic-model-facd0b","title":"Business Insider: PSI used an unreleased Anthropic model to prove Aaronson-Ambainis","description":"Physical Superintelligence says an internal research system, using a non-public Anthropic model, proved the Aaronson–Ambainis conjecture, a quantum-complexity question open since 2008.","retrieval_nugget":"Physical Superintelligence says an internal research system, using a non-public Anthropic model, proved the Aaronson–Ambainis conjecture, a quantum-complexity question open since 2008. Lean accepted the proof, and Stanford researchers are reviewing it. For builders, the notable signal is a research workflow that pairs model-generated mathematics with formal checking and named human responsibility.","published_at":"2026-11-07","updated_at":"2026-11-07","record_date":"2026-11-07","date_kind":"published_at","topics":["anthropic"],"entities":["Physical Superintelligence","Anthropic","Lean","Aaronson–Ambainis conjecture","Scott Aaronson","Andris Ambainis","David Turturean","Guy Blanc"],"related_patterns":["scientific-agents-need-artifact-evidence"],"novelty_label":"new_fact","what_changed":"PSI says its internal research system, using an unreleased Anthropic model, produced a Lean-checked proof settling the Aaronson–Ambainis conjecture.","prior_refs":[],"source_url":"https://psi.inc/research/aaronson-ambainis","source_urls":["https://psi.inc/research/aaronson-ambainis"],"schema_version":"newruntime-agent-readable-v0.2","stable_id":"post:business-insider-psi-used-an-unreleased-anthropic-model-facd0b","status":"published","visuals":[],"editor":{"role":"editor","name":"Andrey Reshetnikov","profile":"https://newruntime.com/owner-profile.md","profile_json":"https://newruntime.com/owner-profile.json","same_as":["https://www.linkedin.com/in/reshetnikov1/","https://t.me/lapetuse"]},"routes":{"html":"https://newruntime.com/posts/business-insider-psi-used-an-unreleased-anthropic-model-facd0b/","markdown":"https://newruntime.com/posts/business-insider-psi-used-an-unreleased-anthropic-model-facd0b.md","json":"https://newruntime.com/posts/business-insider-psi-used-an-unreleased-anthropic-model-facd0b.json"},"markdown_url":"https://newruntime.com/posts/business-insider-psi-used-an-unreleased-anthropic-model-facd0b.md","next_reads":[{"type":"topic","path":"/topics/anthropic/","url":"https://newruntime.com/topics/anthropic/","title":"Anthropic","reason":"Explore the anthropic topic hub.","media_type":"text/html","markdown_url":"https://newruntime.com/topics/anthropic.md","json_url":"https://newruntime.com/topics/anthropic.json"},{"type":"collection","path":"/posts/","url":"https://newruntime.com/posts/","title":"Field Notes","reason":"Open the latest editorial analysis.","media_type":"text/html","json_url":"https://newruntime.com/posts.json"},{"type":"collection","path":"/sources/","url":"https://newruntime.com/sources/","title":"Sources","reason":"See the original sources this archive cites.","media_type":"text/html"}]}