I've used AI to help me with mathematical proofs for economic models. They weren't frontier results, and really just applications to specific situations / models. But it was still very helpful. I wouldn't say AI was able to get 100% of the way there on its own. It pointed me in the right direction, and with some iteration together with the AI we landed on the correct proof (afaict)
I've used AI to help me with mathematical proofs for economic models. They weren't frontier results, and really just applications to specific situations / models. But it was still very helpful. I wouldn't say AI was able to get 100% of the way there on its own. It pointed me in the right direction, and with some iteration together with the AI we landed on the correct proof (afaict)