⋯ full post (86 more characters) ⋯ show less
Breaking: a team of human mathematicians working in secret over the last three years, and at least two frontier AI labs with seven-figure budgets for their own month-long projects, are believed to be neck-and-neck in a race towards an answer to the fiendishly difficult question of whether the Birch-Swinnerton-Dyer conjecture was posed by three people, or just two.
Breaking: a team of human mathematicians working in secret over the last three years, and at least two frontier AI labs with seven-figure budgets for their own month-long projects, are believed to be neck-and-neck in a race towards an answer to the fiendishly difficult question o