Prompts and responses from DeepMind's Aletheia on research level math problemsgithub.com/google-deepmind1 pointhelloplanets4 months ago