@notsneakypotato But proving some theorems from mathematical physics or some specific computational targets could very well be within reach of LLMs soon
@notsneakypotato In the case of fundamental physics, a lot of the open problems aren't as well defined (excluding a lot from mathematical physics) and so we also need to figure out the right questions to ask and the right methods to attack the problem. LLMs currently suck at this