https://mezha.media/en/2022/10/15/deepmind-broke-a-50-year-old-mathematical-record-with-the-help-of-ai-it-lasted-only-a-week/