{"id":"nr-scientific-agents-now-have-to-hand-back-checkable-artifacts-not-just-a-7eaac8","slug":"scientific-agents-now-have-to-hand-back-checkable-artifacts-not-just-a-7eaac8","type":"raw_signal","title":"Scientific agents now have to hand back checkable artifacts, not just answers","description":"Physical Superintelligence's proof of the Aaronson–Ambainis conjecture is checked in Lean, and Axiom released a Lean formalization of the whole Stacks Project.","observed_at":"2026-11-07","record_date":"2026-11-07","date_kind":"observed_at","novelty":"notable","source_platform":"newruntime.com","topics":["anthropic"],"entities":["Physical Superintelligence","Anthropic","Lean","Aaronson–Ambainis conjecture","Scott Aaronson","Andris Ambainis","David Turturean","Guy Blanc","Axiom","Mathlib"],"related_patterns":["scientific-agents-need-artifact-evidence"],"source_url":"https://psi.inc/research/aaronson-ambainis","source_urls":["https://psi.inc/research/aaronson-ambainis","https://axiommath.ai/research/the-stacks-project-formalized","https://cfsg.axiommath.ai/CFSG_errata.pdf","https://standardphysics.com/reynolds","https://arxiv.org/abs/2611.08452"],"why_it_matters":"Physical Superintelligence's proof of the Aaronson–Ambainis conjecture is checked in Lean, and Axiom released a Lean formalization of the whole Stacks Project. Standard Physics' Reynolds returns a simulation case you can rerun, and ReproBridge's refined artifacts raised experiment reproduction from 76.4% to 92.6%. If you build research agents, make machine-checkable or rerunnable output the deliverable. A prose claim is not enough.","verification_level":"source-linked","signal_type":"synthesis","synthesis_of":[{"slug":"business-insider-psi-used-an-unreleased-anthropic-model-facd0b","title":"Business Insider: PSI used an unreleased Anthropic model to prove Aaronson-Ambainis","url":"https://newruntime.com/posts/business-insider-psi-used-an-unreleased-anthropic-model-facd0b/"},{"slug":"the-stacks-project-formalized-in-lean-13-minute-f1a74f","title":"The Stacks Project, formalized in Lean","url":"https://newruntime.com/posts/the-stacks-project-formalized-in-lean-13-minute-f1a74f/"},{"slug":"selected-departures-from-published-arguments-in-the-classification-d64eb4","title":"Selected Departures from Published Arguments in the Classification of Finite Simple Groups","url":"https://newruntime.com/posts/selected-departures-from-published-arguments-in-the-classification-d64eb4/"},{"slug":"standard-physics-launches-archimedes-and-open-sources-reynolds-18540b","title":"Standard Physics launches Archimedes and open-sources Reynolds CFD agent","url":"https://newruntime.com/posts/standard-physics-launches-archimedes-and-open-sources-reynolds-18540b/"},{"slug":"reprobridge-agent-workflow-and-benchmark-for-refined-ml-d00fef","title":"ReproBridge: agent workflow and benchmark for refined ML reproducibility artifacts","url":"https://newruntime.com/posts/reprobridge-agent-workflow-and-benchmark-for-refined-ml-d00fef/"}],"schema_version":"newruntime-agent-readable-v0.2","stable_id":"signal:scientific-agents-now-have-to-hand-back-checkable-artifacts-not-just-a-7eaac8","retrieval_nugget":"Physical Superintelligence's proof of the Aaronson–Ambainis conjecture is checked in Lean, and Axiom released a Lean formalization of the whole Stacks Project. Standard Physics' Reynolds returns a simulation case you can rerun, and ReproBridge's refined artifacts raised experiment reproduction from 76.4% to 92.6%.","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/signals/scientific-agents-now-have-to-hand-back-checkable-artifacts-not-just-a-7eaac8/","markdown":"https://newruntime.com/signals/scientific-agents-now-have-to-hand-back-checkable-artifacts-not-just-a-7eaac8.md","json":"https://newruntime.com/signals/scientific-agents-now-have-to-hand-back-checkable-artifacts-not-just-a-7eaac8.json"},"markdown_url":"https://newruntime.com/signals/scientific-agents-now-have-to-hand-back-checkable-artifacts-not-just-a-7eaac8.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":"/signals/","url":"https://newruntime.com/signals/","title":"Signals","reason":"Open the signals and the raw-signal archive.","media_type":"text/html","json_url":"https://newruntime.com/signals.json"},{"type":"collection","path":"/sources/","url":"https://newruntime.com/sources/","title":"Sources","reason":"See the original sources this archive cites.","media_type":"text/html"}]}