The main computation took 90 days on Shigeru Kondo's desktop. Verification was done using two separate computers.
The program that was used for the main computation is y-cruncher v0.5.4.9138 Alpha."
Link to Original Source
Please create an account to participate in the Slashdot moderation system
If it happens once, it's a bug. If it happens twice, it's a feature. If it happens more than twice, it's a design philosophy.