https://blog.lynxflow.co/en/tags/mathematical-proof/Recent content in Mathematical Proof on Lynx Tech BlogHugo -- gohugo.ioenSun, 09 Aug 2026 00:00:00 +0800https://blog.lynxflow.co/en/posts/ai-cracks-25-year-mimo-detection-problem/Sun, 09 Aug 2026 00:00:00 +0800https://blog.lynxflow.co/en/posts/ai-cracks-25-year-mimo-detection-problem/<img src="https://blog.lynxflow.co/images/ai-cracks-25-year-mimo-detection-problem.png" alt="Featured image of post AI Solves a 25-Year-Old Open Mathematical Problem in Communications" />A Problem That Had Been Stuck for 25 Years Was Solved by AI in a Week There is a classic hard problem in wireless communications called MIMO detection: the transmitter packs N bits into an N×N channel and sends them out; the signal gets scrambled and mixed with noise along the way, and the receiver has to recover the original bits exactly. In theory, there is a brute-force approach: enumerate all 2^N possible bit combinations and find the one that best matches. But once N gets even moderately la