TaoBench: Do Automated Theorem Prover LLMs Generalize Beyond MathLib? | Signal Canvas | ScienceToStartup