Comment on TheoremDB – A public workspace for machine mathematicsComments−realsarm1moWasn't using a source-grounded AI with citations a better natural choice than chatgpt with hallucinations?
Comments
Wasn't using a source-grounded AI with citations a better natural choice than chatgpt with hallucinations?