A recent mathematical paper regarding the irrationality exponent of logarithms of rational numbers has sparked online discussion after a confusing footnote referencing the author of The Da Vinci Code led some readers to question its authenticity. Despite the missing article, the community clarified that the work is a legitimate variation of a previous OpenAI proof concerning pi that has been formally verified in Lean.