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
[–] [S] 0 points 5 months ago (6 children)

Je pose ça dans l'espoir que ça aide à réaliser à quel point les progrès dans le domaine sont rapides et à quel point on devrait prendre au sérieux les énormes changements sociétaux que ça promet, avec notamment la fin du travail humain, dans tous les domaines. La plupart des tâches intellectuelles sont accessibles aux IA et ce n'est plus qu'un problème d'ingénierie à présent.

Si vous avez manqué les investissements massifs qu'il y a dans plein de boîtes de robotique, humanoïdes ou non d'ailleurs, qui s'attendent à pouvoir utiliser ces modèles de façon embarquée dans les prochaines années, sachez qu'il n'y a absolument rien qui semble hors de portée aujourd'hui.

  • source
  • hideshow 6 child comments
  • [–] 4 points 5 months ago (5 children)

    Faut se calmer un peu : les ascenseurs spatiaux, la fusion nucléaire et le revenu universel aussi ne sont "plus qu'un problème d’ingénierie"

  • source
  • parent
  • hideshow 5 child comments