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
[–] 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