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

  • PatteBlanche
    link
    fedilink
    Français
    arrow-up
    3
    arrow-down
    3
    ·
    12 days 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.