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

you are viewing a single comment's thread
view the rest of the comments
[–] [S] 0 points 5 months ago

Quelle que soit sa forme, appeler quelque chose spécifiquement IA (et pas juste llm, ou machine learning, ou…) c’est toujours de la domination de l’homme, généralement blanc, sur tout le reste.

Et c'est moi le stéréotype...

  • source
  • parent