What should EpochAI do if it asked for Apéry-Style Irrationality Proofs via Linear Recurrences and Aabir Fauzan has presumably proven that is irrational in a different way?