Search: [mathématiques] - veille IA génératives FM

Delete Set public Set private

371 shaares

371 shaares

Links per page

20 50 100

8 results tagged mathématiques

Math and AI — Martin Bauer

mathématiques · recherche

Mon Sep 21 10:21:16 2026 · permalink

·

https://www.math.fsu.edu/~bauer/AI-Math/

Réflexion sur les IAg dans les maths et le dopage

dopage · mathématiques · recherche · slow_math

Sat Sep 19 08:45:02 2026 * · permalink

·

https://webusers.imj-prg.fr/~isabelle.gallagher/AIg.pdf

FO INV soutient les mathématiciens face aux pratiques extractives des entreprises d'IA · FO INV

mathématiques · pillage · plateformes · recherche · syndicat · travail · VTC

Fri Sep 18 09:38:58 2026 * · permalink

·

https://fo-inv.fr/communiques/fo-inv-soutient-les-mathematiciens-face-a-l-ia

Declaration — Math and AI

mathématiques

Fri Sep 11 20:27:29 2026 · permalink

·

https://mathandai.org/

Lean 4 Formal Proofs: Why OpenAI's Cost Collapse Matters | explainx.ai Blog | explainx.ai

mathématiques

Fri Sep 11 16:42:10 2026 · permalink

·

https://explainx.ai/blog/lean-4-formal-proof-cost-collapse-navier-stokes-2026

Quand l’IA s’attaque aux problèmes du millénaire

anthropic · mathématiques · OpenAI · recherche

Wed Sep 9 12:54:53 2026 · permalink

·

https://www.larecherche.fr/math%C3%A9matiques/quand-l%E2%80%99ia-s%E2%80%99attaque-aux-probl%C3%A8mes-du-mill%C3%A9naire

L’IA générative bouscule la recherche en mathématiques - Next

mathématiques

Thu Jul 2 14:23:40 2026 · permalink

·

https://next.ink/244924/lia-generative-bouscule-la-recherche-en-mathematiques/

Leiden Declaration on Artificial Intelligence and Mathematics

charte · mathématiques · positionnement · recherche

Tue Jun 2 21:24:28 2026 * · permalink

·

https://leidendeclaration.ai/

Links per page

20 50 100