3 ms·
Quantum Discord: https://en.wikipedia.org/wiki/Quantum_discord https://en.wikipedia.org/wiki/Quantum_discord Quantum nonlocality: https://en.wikipedia.org/wik
by westurner 3y ago
Quantum Discord: https://en.wikipedia.org/wiki/Quantum_discord https://en.wikipedia.org/wiki/Quantum_discord
Quantum nonlocality:
https://en.wikipedia.org/wiki/Quantum_nonlocality https://en.wikipedia.org/wiki/Quantum_nonlocality
Butterfly effect -> Quantum chaos:
https://en.wikipedia.org/wiki/Quantum_chaos https://en.wikipedia.org/wiki/Quantum_chaos
-> Perturbation theory: https://en.wikipedia.org/wiki/Perturbation_theory_(quantum_mechanics) https://en.wikipedia.org/wiki/Perturbation_theory_(quantum_m...
But then entropy in fluids,
Satisfiability > Model Theory: https://en.wikipedia.org/wiki/Satisfiability https://en.wikipedia.org/wiki/Satisfiability
Goal programming: https://en.wikipedia.org/wiki/Goal_programming https://en.wikipedia.org/wiki/Goal_programming
And, ultimately,
Self play (AlphaZero, ) https://en.wikipedia.org/wiki/Self-play https://en.wikipedia.org/wiki/Self-play
"Q: LLM and/or an RL agent trained on [Lean mathlib] and tests"
https://github.com/leanprover-community/mathlib/issues/17919 https://github.com/leanprover-community/mathlib/issues/17919