TokenPost·

Physical Superintelligence Announces Progress on Five Quantum Problems

Your call?

Physicists guided and checked model-assisted work, while AI agents wrote formal proofs in Lean for computers to check.

Share

More news