Inter-universal geometryとABC予想(シン応援スレ) 89

The secret project to settle controversial maths proof with a computer

Working in secret for more than two years, a group of mathematicians has set out to resolve of the longest and most bitter battles in modern mathematics

By Alex Wilkins

https://www.newscientist.com/article/2522687-the-secret-project-to-settle-controversial-maths-proof-with-a-computer/