2/15/2026 at 3:49:27 AM
https://leanprover-community.github.io/mathlib_docs/analysis...First person account of how it was disproved
https://mycqstate.wordpress.com/2020/01/14/a-masters-project...
by gsf_emergency_6
2/12/2026 at 7:19:30 PM
Connes Embedding Problem
https://en.wikipedia.org/wiki/Connes_embedding_problemby jerlendds