comment faire des mathématiques en utilisant des LLMs - Demandez à Gemini et à ChatGPT de prouver le même résultat - S'ils ne sont pas d'accord, copiez leurs résultats et faites-les argumenter entre eux - Itérez jusqu'à convergence