automated reasoning
1 statements across 1 episodes · 1 bullish · 0 bearish · 1 people on the record · first statement Dec 5, 2024 by Matt Garman · across every show →
Everything said about automated reasoning, oldest first
Dec 5, 2024 bullish
Garman: AWS automated reasoning mathematically eliminates AI hallucinations in bounded domains
“So by that, by this kind of mechanism, you're, like, systematically able to actually mathematically prove that you got the right answer coming out of this and completely eliminate hallucinations for that area, right? It doesn't mean that we've eliminated hallu…”