Cooking fun AI systems & products @databricks. Prev: co-founder & CTO @ Hyperbolic, OctoAI (acquired by @nvidia) Apache TVM, PhD @ University of Washington.
25 Fields Medalists are worried AI solving math too fast could damage mathematics.
I see the opposite happening in coding.
Imagine scientists delaying a cancer cure by 100 years just so they can experience discovering it themselves.
It would be a disaster for humanity.