10
Une IA vient de faire une découverte mathématique majeure (et personne n'en parle) (www.youtube.com)
submitted 5 months ago by to c/france@jlai.lu
92 comments fedilink hide all child comments
🍿 3
 

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 5 months ago

Sinon il y a cela aussi. https://jlai.lu/post/38087984

  • permalink
  • fedilink
  • source
    •