PSI says Anthropic's Fable 5.2 solved a quantum conjecture
Scott Aaronson says he does not fully follow the proof but accepts it after Lean autoformalization.
46
Scott Aaronson says he does not fully follow the proof but accepts it after Lean autoformalization.
Fable input pricing falls to $8 per million tokens, with 30% faster responses and enterprise zero-data-retention support.
Physical Superintelligence uses AI to prove quantum computing conjecture; Meta publishes Tactus glove for data collection.
Entities are extracted by the model from each article. First seen , last mentioned . Watching keeps it in this browser only (no account); the watchlist page and dashboard alerts use it.
Today 230 readers · 236 views · 55 reads · all time 187K views