Long-awaited mathematics proof could help scan Earth's innards · HackerTrans