Joel Becker comments on How does one find out their AGI timelines?