I guess that's because there are serious problems on which many professional mathematicians worked on years. If it was just a matter of hiring an expert, they would've been solved long time ago.
I guess expert+chatgpt beats chatgpt alone, so why not hire top experts to drive the search?
I guess expert+chatgpt beats chatgpt alone, so why not hire top experts to drive the search?