این محقق در حال توسعه ابزار جدیدی برای درک مسائل محاسباتی دشوار است که غیرقابل حل به نظر می رسد