←back to thread

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

(arxiv.org)
184 points hhs | 1 comments | 14 Oct 24 15:44 UTC | HN request time: 0s | source
Show context
_flux ◴[14 Oct 24 17:10 UTC] No.41839545[source]▶
This must be one of the best applications for LLMs, as you can always automatically verify the results, or reject them otherwise, right?
replies(5): >>41839668 #>>41839669 #>>41839866 #>>41839977 #>>41840268 #
1. danielmarkbruce ◴[14 Oct 24 18:16 UTC] No.41840268[source]▶
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.