Cerebras : des puces grosses comme un wafer
Tech Café
00:00
LLM et performances en mathématiques
Guillaume Poggiaspalla expose l'usage des LLM pour résoudre problèmes d'Erdős et l'idée d'interface avec Lean.
Play episode from 15:31
Transcript
Guillaume Poggiaspalla expose l'usage des LLM pour résoudre problèmes d'Erdős et l'idée d'interface avec Lean.
