A few weeks ago, I prompted Claude Tag to see how it approached solving math problems. It spun up its own 'math harness' in Slack that autonomously found counterexamples to Smale's mean value conjecture
Planning to write more about this in the future!
