JUST IN: #Cardano $ADA Founder Charles Hoskinson is bullish on AI's mathematical advancements, says "the idea that AI itself would fully write the proof—LLMs really surprised us, it's pretty remarkable to see how far they've gotten, and what they've been able to achieve and do."