研究ノート
SRI Publishes a New Preprint on Auditable Proof Search
SRI has published a new preprint on auditable proof search using RH as a case study.
Designing the research process
It does not claim a proof of RH. It studies how humans and AI can preserve attempts, failed branches, bottlenecks, and next verification steps.
Connection to STUDIO
STUDIO translates research into stories, film, music, art, and experiences while respecting its meaning and limits.