200 terabyte proof demonstrates the potential of brute force math | Heykuki News