▲ 10 ▼ Une IA vient de faire une découverte mathématique majeure (et personne n'en parle) (www.youtube.com) submitted 4 months ago by keepthepace@tarte.nuage-libre.fr to c/france@jlai.lu 95 comments fedilink hide all child comments 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