




Prof. Bin Dong from Peking U, BICMR, together with other researchers developed 2 Math Research agents: Archor for formal math Rethlas for natural language (all will open source afaik) They found several new connections in Commutative Algebra & resolved Anderson conjecture


















