Comment by kleiba

What do you think, how long until we can give conjectures to a specially trained LLM to come up with a proof?