https://blog.lexx.in/tags/psi/Recent content in PSI on LexxWire — US Tech & AI News DailyHugoen-usSat, 07 Nov 2026 14:31:13 -0500https://blog.lexx.in/webstories/psi-ai-proves-quantum-conjecture-webstory/Sat, 07 Nov 2026 14:31:13 -0500https://blog.lexx.in/webstories/psi-ai-proves-quantum-conjecture-webstory/Startup PSI says its research system, running an unreleased Anthropic model, proved the Aaronson-Ambainis conjecture — open since 2008 — and the Lean proof assistant verified every step. Peer review has not started.