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

  • keepthepace@tarte.nuage-libre.frOP
    link
    fedilink
    Français
    arrow-up
    0
    ·
    1 个月前

    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.