p.ex:
Il n'y a presque aucun texte sur internet concernant les fonctions analytiques sur les espaces de Banach.
Presque tout le théorème de Cauchy-Lipschitz analytique et tous ses résultats préliminaires (c'est assez épais) dans le Frido ont été fait avec l'aide de l'IA.
[^] # Re: Ça vous sert à quoi au quotidien ?
Posté par LaurentClaessens (site web personnel) . En réponse au journal Auto-héberger ses LLM (IA) : Débordement CPU+RAM, Mixture-of-Experts et Benchmarks. Évalué à 6 (+4/-0).
Moi ça me sert à trouver des démonstration mathématique que je ne trouve pas sur internet pour écrire le frido.
Voir AI-DECLARATION.md pour plus de détails.
p.ex:
Il n'y a presque aucun texte sur internet concernant les fonctions analytiques sur les espaces de Banach.
Presque tout le théorème de Cauchy-Lipschitz analytique et tous ses résultats préliminaires (c'est assez épais) dans le Frido ont été fait avec l'aide de l'IA.
Pour donner une idée de l'aide fournie par des humains :
https://math.stackexchange.com/questions/5113042/analytic-picard-lindel%c3%b6f-theorem
Bref. C'est très loin de me servir tous les jours, mais ça dépanne parfois de façon cruciale.