Tips voor een wiskundige AI die stap voor stap werkt

V. Ken je AI’s die wiskundige formules kan oplossen (met de redenering)? En die stellingen kan bewijzen?

A. Ja, er zijn er een aantal. Bijvoorbeeld:

Maar het kan ook met algemene LLMs. Bijvoorbeeld:

Kan je me stap voor stap uitrekenen wat x is als 4x²-17x-3=0?

<Copilot>

<Gemini>

Kan je de stelling van Pythagoras stap voor stap bewijzen?

<Gemini>

<ChatGPT>