Detailed information, paper links, and open-source code for all work discussed in this article can be found on Professor Dong's personal homepage (faculty.bicmr.pku.edu.cn/~dongbin/) and the project blog (frenzymath.com). Key links for the Anderson Conjecture solution and open-source tools are below:
Technical report: https://frenzymath.com/blog/conjecture/
Rethlas (open source): https://github.com/frenzymath/Rethlas
Archon (open source): https://github.com/frenzymath/Archon
Formalization results: https://github.com/frenzymath/Anderson-Conjecture
