Mathematical superintelligence is coming, faster than you imagined