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
[–] 0 points 5 months ago

"la flemme de débunker un aibro"... bravo le niveau. Tu n'es pas obliger de polluer les discussions auxquels tu ne veux pas prendre part.

  • source
  • parent