MathCode — A Frontier Mathematical Coding Agent

[https://math-ai-org.github.io/mathcode/] - 2026-08-16 12:48:49 - public:mzimmerm

ai, good, lean, math, solve, theorem, todo - 7 | id:1553268 -

TheoremDB · A public workspace for machine mathematics

[https://theoremdb.org/] - 2026-08-08 21:28:44 - public:mzimmerm

ai, math, theorem - 3 | id:1553204 -

[https://www.amazon.ca/Quantum-Chance-Nonlocality-Teleportation-Marvels/dp/3319054724] - 2024-04-27 22:08:53 - public:mzimmerm

[https://www.scientificamerican.com/article/quantum-physics-falls-apart-without-imaginary-numbers/] - 2024-04-22 22:05:59 - public:mzimmerm

They describe using Bell-Theorem-like inequality to refute a real-numbers-only quantum theory is equivalent to imaginary-numbers quantum theory

[https://youtu.be/hpkgPJo_z6Y?t=752] - 2024-04-22 13:26:35 - public:mzimmerm

[https://betterexplained.com/articles/an-intuitive-and-short-explanation-of-bayes-theorem/] - 2023-11-21 17:49:33 - public:mzimmerm

bayes, theorem, todo - 3 | id:1485244 -

[https://doi.org/10.1098%2Frstl.1763.0053] - 2023-10-06 22:02:58 - public:mzimmerm