@highergeometer@mathstodon.xyz @wtgowers@mathstodon.xyz @tao@mathstodon.xyz Venkatesh may be someone to look out for. Not sure he has seen advances in his areas yet.