史上最难逻辑谜题（hlpe）继承自谜题大师Smullyan的说真话和说谎话者谜题。本篇报告简要介绍了自Boolos以来的逻辑学家对hlpe的假设澄清、解决方法以及改进版本。之后，详细介绍了刘奋荣和王彦晶在reasoning about agent types中对hlpe所作出的形式化努力。在reasoning about agent types中，论文作者给出了一个新的hlpe版本，并且在形式化的基础上证明其无解，报告简要阐明了该证明的主要步骤。在报告的最后，报告者对上述无解问题做出了一个推广假设，并给出了一个比较松散的肯定性证明。