4 ms·
Breakthrough in AI Solving Math Conjectures: Peking Univ. Team's Exploration
- seekdeep 6mo agoDetailed 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/ https://frenzymath.com/blog/conjecture/ Rethlas (open source): https://github.com/frenzymath/Rethlas https://github.com/frenzymath/Rethlas Archon (open source): https://github.com/frenzymath/Archon https://github.com/frenzymath/Archon Formalization results: https://github.com/frenzymath/Anderson-Conjecture https://github.com/frenzymath/Anderson-Conjecture
- seekdeep 6mo agoThe paper on aXive: https://arxiv.org/abs/2604.03789 https://arxiv.org/abs/2604.03789