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.