this post was submitted on 07 Jun 2026
7 points (68.4% liked)

France

3607 readers
86 users here now

La France et les Français

Le pass BnF pour accéder à la presse : https://jlai.lu/post/4214444

Communautés principales

Nous rejoindre sur Zulip: https://jlailu.zulipchat.com/

Règles

  1. Multi-lingual community: posts in other languages than French are allowed. 🚀

  2. Tous les francophones sont bienvenus. 🐌

  3. Remember the human : pas d’insultes, pas d’agressivité, pas de harcèlement entre utilisateurs. 🤖

  4. Xénophobie, racisme et autre forme de discrimination sont interdits.🌈 Lien vers le code de conduite de l'instance: https://jlai.lu/post/5

  5. Pas de doublon. Pas de spam. Évitez les paywalls autant que possible.☔

  6. Utilisez la fonction "Report" pour signaler le contenu contrevenant aux règles.🏴

  7. Le contenu doit être en rapport avec la France ou la population française.🇨🇵

FAQ, guides et ressources :

Actualité internationale

Loisirs:

Vie Pratique:

Société:

Villes/Régions

Pays:

Humour:

Fedivers:


Communauté de secours:

founded 3 years ago
MODERATORS
 

Comme d'habitude, Mr Phi a bien fouillé les articles sur le sujet et donne un état de l'art sur les preuves mathématiques par des LLMs

you are viewing a single comment's thread
view the rest of the comments
[–] Solumbran@lemmy.world 12 points 4 days ago (70 children)

Ouais sinon on arrête les LLM de merde et on réaffecte 1% des couts de l'IA dans la recherche et on obtient des résultats fiables et une humanité qui n'empire pas, et avec une planète qui ne part pas en combustion spontanée dans les 6 mois.

Sinon, tu as aussi le droit de regarder une vidéo avec de nombreux mathématiciens, y compris Medaille Fields, qui disent que c'est une avancée majeure et que non seulement la preuve est correcte, mais qu'elle est en plus élégante et originale..

Oui, ça change les capacités intellectuelles qui sont utiles pour les humains. Et il se trouve que le mec qui fait cette vidéo, l'angle qui l'intéresse le plus, c'est la philosophie. Et que ça, il en parle. Et il parle des pistes que les mathématiciens, justement, posent eux-mêmes sur leur propre discipline.

[–] leftascenter@jlai.lu 3 points 4 days ago* (last edited 4 days ago)

Arrêter les modèle de merde ça inclut pas arrêter les modèles de recherche. Mais ça inclus les llm de surveillance heureusement

load more comments (68 replies)