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.
[ Parent
| on HN ]