Wat deze ‘declaration’ wat mij betreft erg goed doet is eerst vermelden wat een goede, gewenste werkwijze is.

Vervolgens worden heel duidelijk de mogelijke gevaren op een rijtje gezet.

‘Current automated techniques can produce plausible but unreliable (or even incorrect) arguments which are difficult to distinguish from correct mathematical proofs.’

Een open source platform om een chatbot te trainen, leveren en evalueren.

Update 28 april 2026:
De demo werkte niet meer. Verder gelezen naar andere opties en gezien dat Fastchat geen open source platform (meer) is, slechts een deel is open source. De data waarmee het model is getraind is niet beschikbaar.