We used machine learning algorithms and formal proof assistants but now we can use large language models in order to discover another level of resolution of problems. We enter in a new world…

Post to X