“Embracing change and resetting expectations” By Terence Tao(unlocked.microsoft.com) |
“Embracing change and resetting expectations” By Terence Tao(unlocked.microsoft.com) |
formal proof verifiers, internet search, and symbolic math packages
Or maybe if the LLM output is pretty fast, it could be packaged with some programming language and evaluation environment so, given a problem in this domain, it could code a solution, check and fix/improve it automatically.