Adult supervision required - some days it's great, some days it goes rogue / is wrong.
https://chat.openai.com/g/g-Zl2Zw0mmZ-mathlibstm-creator