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

top 50 comments

sorted by: hot top controversial new old
[–] 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
  • [–] 3 points 4 months ago (1 child)

    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.

  • source
  • hideshow 1 child comment
  • [–] 2 points 4 months ago
    [–] 2 points 4 months ago

    1.avoir des milliards de dollars 2.débaucher des top chercheurs en maths 3.les laisser bosser sur qqch 4.profit

  • source
  • [–] 2 points 4 months ago (1 child)

    J'ai tout lu. C'est globalement très intéressant. Je retrouve des parties de mon avis des deux côtés. J'ai vraiment du mal a trancher. Dans tous les cas ce genre de fil me permet de mieux organiser ma vision de l'ia. Merci pour la discussion. Merci

  • source
  • hideshow 1 child comment
  • load more comments (1 reply)
    [–] [B] 2 points 4 months ago

    Cette vidéo est recommandée par la communauté de Tournesol:
    [24🌻] Monsieur Phi: Pourquoi les mathématiciens s'inquiètent de l'avenir de leur discipline

    #Tournesol est un outil web open-source développé par une association non caritative, qui évalue la qualité des vidéos pour combattre les fake-news et les contenus non recommandables.

  • source
  • load more comments
    view more: next ›