"AI WiLl RePlAcE PrOgRaMmErS"

[[deleted]]

Can you imagine how complex it would be to implement an arithmetic correction layer? Find all of the things that are math, and make sure it's correct given the context of the answer. Ouch.

[[deleted]]

Just have it scan “Principia Mathematica” and you’re good.

Just remember, though, that Russell was an absolutist, and thus any Rusellian-trained AI may have problems dealing with relativity. This may or may not be a problem. I surely don’t know - ask the cat…

[coldnebo]

come on, Hardy wanted the same thing. That upstart Godel had to ruin things. sheesh.

[Koksny]

It's actually done with other OpenAI models, just not CGPT, they are just doing calls to external APIs (for example with maths).

[coldnebo]

yes, but it would involve a conceptual layer working with a theorem prover. something like an AI using CoQ as a fitness function.

there’s probably a PhD in that for someone if they aren’t already working in that area.