What does it mean to be a "Ajaxed WP Theme"? Doesn't K2 count?
The term "ajax" itself has drawn lots debate already. You are right as the author of Binary Blue theme has acknowledged the use of codes from K2.You can also classify some themes to be lightly ajaxed (with live search, e.g.) and heavily ajaxed. New blogging engine/platform like www.logahead.com is heavily ajaxed.