Toutefois, le fait pour le domaine (les maths) de pouvoir se doter d'assistant de preuve est un sacré atout (peu importe la justesse du llm, il doit passer sous les fourches caudines des la vérification formelle de la preuve).
Pas dit que ce soit généralisable pour autant (en tout cas là ou un certain niveau de justesse est requise).
[^] # Re: Faut t'habituer
Posté par Pol' uX (site web personnel) . En réponse au journal Les LLM: Langueur, Lassitude et Morosité. Évalué à 4 (+3/-0).
Toutefois, le fait pour le domaine (les maths) de pouvoir se doter d'assistant de preuve est un sacré atout (peu importe la justesse du llm, il doit passer sous les fourches caudines des la vérification formelle de la preuve).
Pas dit que ce soit généralisable pour autant (en tout cas là ou un certain niveau de justesse est requise).
Adhérer à l'April, ça vous tente ?