On: DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data

[danielmarkbruce]

Any situation involving the ability to simulate (like, weather models, bio models, physics models) is potentially a good application. It's still hard to make a good model to approximate an extremely complex function.