Cardano Founder Admits AI Math Progress Surpassed His Expectations Cardano founder Charles Hoskinson (@IOHK_Charles) says AI has progressed in advanced mathematics far beyond his earlier expectations. He pointed to AI systems now producing and formally checking highly complex