Some commenting plugins/themes have implemented AJAX-driven commenting (with formatting via TinyMCE) since at least WordPress 2.x e.g. CommentPress:

https://futureofthebook.org/commentpress/

IMO it wouldn't be particularly hard to implement this in core.