Formalizing Fermat's Last Theorem \ Anthropic

[https://www.anthropic.com/research/formalizing-fermats-last-theorem] - 2026-09-06 21:35:31 - public:mzimmerm

ai, fermat, formal, proof, theorem - 5 | id:1560503 -

Palomar – a registry of Lean verified mathematics | What's new

[https://terrytao.wordpress.com/2026/08/18/palomar-a-registry-of-lean-verified-mathematics/] - 2026-08-18 22:28:44 - public:mzimmerm

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

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

[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