Retourner au contenu associé (lien : Commentaire de gro-tsen sur la vidéo de Mr phi sur la résolution par LLM du problème de la distance unitaire)
Posté par Pol' uX (site web personnel) le 16 juin 2026 à 21:37. En réponse au lien Commentaire de gro-tsen sur la vidéo de Mr phi sur la résolution par LLM du problème de la distance unitaire. Évalué à 3 (+1/-0).
si quelqu'un est motivé
https://www.college-de-france.fr/fr/agenda/seminaire/prouver-les-programmes-pourquoi-quand-comment/specification-construction-et-verification-de-programmes-le-parcours-une-pensee-scientifique-sur-une
Adhérer à l'April, ça vous tente ?
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Au-delà du problème de Erdös
Posté par Pol' uX (site web personnel) . En réponse au lien Commentaire de gro-tsen sur la vidéo de Mr phi sur la résolution par LLM du problème de la distance unitaire. Évalué à 3 (+1/-0).
https://www.college-de-france.fr/fr/agenda/seminaire/prouver-les-programmes-pourquoi-quand-comment/specification-construction-et-verification-de-programmes-le-parcours-une-pensee-scientifique-sur-une
Adhérer à l'April, ça vous tente ?