2 ms·
> Why do they brag about not using a theorem prover Because this highlights that Gemini actually reasoned independently of other tools. That is a massive quant
by alephnerd 1y ago
> Why do they brag about not using a theorem prover
Because this highlights that Gemini actually reasoned independently of other tools. That is a massive quantum leap in AI/ML. Abstract reasoning is arguably the basis of cognition.