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
Original Source
Read the full article at Newscientist →KhanList aggregates and links to publicly available news content. We do not host full articles from third-party sources. Always verify important information with original sources.