Largest-ever math proof chews up 200TB of knowledge
College of Texas
You’ve got in all probability been requested to show a math answer sooner or later, however by no means like this. Researchers have created the world’s largest math proof whereas fixing the Boolean Pythagorean triples drawback, consuming a whopping 200TB of knowledge — the earlier document was ‘simply’ 13GB. The sheer measurement got here from having to think about the sheer vary (almost 1 trillion) of prospects concerned in coloring integers. You possibly can technically use a 68GB compressed model at residence, nevertheless it’d take about 30,000 hours of processing time to crunch the info.
It is spectacular stuff, though Nature is fast to notice that this is not fairly a Holy Grail. An enormous proof may remedy the issue, nevertheless it does not present a constant rationalization for why the outcomes come out the best way they do, one thing which you could apply to different instances. In a single sense, it is like dishonest on an examination. When you might know the solutions, you are not actually studying the way to clear up issues by yourself.