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
Več na: https://www.newscientist.com/article/2522687-the-secret-project-to-settle-controversial-maths-proof-with-a-computer/?utm_campaign=RSS%7CNSNS&utm_source=NSNS&utm_medium=RSS&utm_content=home
nazaj
