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

Ce genre de projection ne veut rien dire : on vient de vivre un boom de l'IA, évidement que l'empreinte du secteur a augmenté rapidement, on ne peut pas extrapoler ces dernières années aux années à venir.

  • source
  • parent
  • hideshow 3 child comments