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

France

3627 readers
61 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

top 50 comments
sorted by: hot top controversial new old
[–] Solumbran@lemmy.world 15 points 2 weeks ago (4 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 2 weeks ago* (last edited 2 weeks 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

[–] Professeur_Falken@jlai.lu 2 points 2 weeks ago (75 children)

Mais enfin, vous n'y pensez pas !!
-- C'est impossible !!

load more comments (75 replies)
[–] pseudo@jlai.lu 3 points 1 week ago (1 children)

Merci pour tes partages sur les LLM. On est d'accord de pas être d'accord sur les conséquences sur le travail humain mais les contenus que tu partages et tes analyses sont toujours intéressants.

[–] tototatatititutu@jlai.lu 2 points 2 weeks ago
[–] ouille@jlai.lu 2 points 1 week ago (1 children)

J'ai tout lu. C'est globalement très intéressant. Je retrouve des parties de mon avis des deux côtés. J'ai vraiment du mal a trancher. Dans tous les cas ce genre de fil me permet de mieux organiser ma vision de l'ia. Merci pour la discussion. Merci

Merci, c'est agréable de savoir que ces tartines sont lues et utiles à d'autres!

[–] tournesol_bot@jlai.lu 2 points 1 week ago

Cette vidéo est recommandée par la communauté de Tournesol:
[24🌻] Monsieur Phi: Pourquoi les mathématiciens s'inquiètent de l'avenir de leur discipline

#Tournesol est un outil web open-source développé par une association non caritative, qui évalue la qualité des vidéos pour combattre les fake-news et les contenus non recommandables.

load more comments
view more: next ›