Ten Advances in Mathematics and Theoretical Computer Science [pdf]

my undergraduate math education is feeling unhelpful in understanding the significance of these results, but Gemini sure seems to think that proving the existence of a non-sofic group is more significant than disproving the jacobian conjecture in terms of its effect on other open problems.