CleoBench: Can Fable mathematically prove Cleo's integrals? | Hacker News Reader