Work is already underway in that direction:

https://github.com/deepseek-ai/DeepSeek-Prover-V2

but also

https://deepmind.google/discover/blog/alphaevolve-a-gemini-p...

Terence Tao is doing a lot of work in this direction.