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
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
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.
On est déjà entre 1&2% aujourd’hui.
Ah effectivement la différence n’est pas énorme, mais du coup pourquoi utiliser une projection dans ce cas là ?