News for hackers. Stuff that matters.
Re:Machine-Assisted Proof by Terence Tao [pdf] by voxl on Saturday December 28, 2024 @03:51AM (#42529583)
LLMs as they are I postulate would not work well for this. But, purpose built stochastic auto complete with a type checker to reject the junk? That could be actually useful. Funnily enough it's also a domain of application that wouldn't make any money at all. It would have to be an offline LLM that is reasonably efficient to execute locally.
Re:Machine-Assisted Proof by Terence Tao [pdf] by xaml on Saturday December 28, 2024 @09:51AM (#42531394)
Why would it not make any money?