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
[–] 15 points 4 months ago (79 children)

Ouais sinon on arrête les LLM de merde et on réaffecte 1% des couts de l'IA dans la recherche et on obtient des résultats fiables et une humanité qui n'empire pas, et avec une planète qui ne part pas en combustion spontanée dans les 6 mois.

  • source
  • hideshow 79 child comments
  • [–] [S] 6 points 4 months ago

    Sinon, tu as aussi le droit de regarder une vidéo avec de nombreux mathématiciens, y compris Medaille Fields, qui disent que c'est une avancée majeure et que non seulement la preuve est correcte, mais qu'elle est en plus élégante et originale..

    Oui, ça change les capacités intellectuelles qui sont utiles pour les humains. Et il se trouve que le mec qui fait cette vidéo, l'angle qui l'intéresse le plus, c'est la philosophie. Et que ça, il en parle. Et il parle des pistes que les mathématiciens, justement, posent eux-mêmes sur leur propre discipline.

  • source
  • parent
  • load more comments (1 reply)