DataFramed
#375 Is Math The Key to Better Coding AI? With Tudor Achim, CEO at Harmonic
47:28
AI capability in mathematics jumped before most people noticed, tackling Olympiad-level problems and unsolved research questions that had resisted attack for years. But the pattern of where AI succeeds and where it stalls is uneven and worth understanding. It's much better at grinding through cases to disprove something than at constructing an elegant, original proof. Anyone working with AI in a…