Comme d’habitude, Mr Phi a bien fouillé les articles sur le sujet et donne un état de l’art sur les preuves mathématiques par des LLMs
Comme d’habitude, Mr Phi a bien fouillé les articles sur le sujet et donne un état de l’art sur les preuves mathématiques par des LLMs
Merci pour tes partages sur les LLM. On est d’accord de pas être d’accord sur les conséquences sur le travail humain mais les contenus que tu partages et tes analyses sont toujours intéressants.
Merci!