{"messages":[{"id":2479799,"content":"
","originalContent":null,"files":[{"id":120937,"url":"e7e09585-72d0-41d3-8426-d3665e426e04.png","mimeType":null,"duration":null,"waveform":[],"captions":null}],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"d1dc7475-8388-4416-b5a6-e18563171310.jpeg","villages_members":[{"userId":"9f554502-6d9f-4caf-b689-0aa45cd838f1","villageId":"village","points":3310,"kickedUntil":null,"disabled":false,"emoji":{"code":"dance","url":"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/eefc5928-dbb7-466a-85ab-e2820fc361e1.gif","surrogates":":village_dance_1783588702319:"}}],"groups_members":[{"group":{"id":223,"name":"C'est terminé","icon":"436c18b3-1a9c-4ad6-986e-b63dd405dfc2.png"}}]},"reactions":[{"emoji":{"id":132,"code":"thumbsup","url":"https://cdn.jsdelivr.net/gh/jdecked/twemoji@15.1.0/assets/72x72/1f44d.png"},"user":{"id":"ac433cd6-d8cc-40c3-9560-4a052281710c","username":"JSB-gentil","avatar":null}}],"createdAt":"2026-10-10T14:03:16.699Z","updatedAt":null,"deleted":false,"first":true,"updater":null,"repliedMessageId":null,"repliedMessage":null,"mentions":[],"embeds":[{"url":"https://www.youtube.com/watch?v=iRjasLnigsU","type":"youtubevideo","data":{"id":"iRjasLnigsU","isShort":false},"embeddedMessage":null}],"poll":null,"rawContent":"
"},{"id":2479827,"content":"Tu peux faire un résumé ","originalContent":null,"files":[],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"89d2efb7-5390-4594-bc81-c005157cf689","username":"Narita","avatar":"3c0242e7-f527-4bc9-a9e3-308073b5b2df.jpeg","villages_members":[{"userId":"89d2efb7-5390-4594-bc81-c005157cf689","villageId":"village","points":23615,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[]},"reactions":[],"createdAt":"2026-10-10T14:08:37.508Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2479799,"repliedMessage":{"id":2479799,"content":"
","user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"d1dc7475-8388-4416-b5a6-e18563171310.jpeg"}},"mentions":[],"embeds":[],"poll":null,"rawContent":"Tu peux faire un résumé "},{"id":2479833,"content":"Il faudra toujours des bêtes en math de toute façon, c’est un outil développé par l’humain, même si l’IA arrive à fournir toutes les preuves la vrai concrétisation passe par l’appréhension et l’analyse de ces dernières par les humains","originalContent":null,"files":[],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"c1a8de10-50fa-4e27-8211-68ac8ab0215d","username":"E-SHIN","avatar":"2da82eef-5717-4217-b23b-dd51ed6bc196.gif","villages_members":[{"userId":"c1a8de10-50fa-4e27-8211-68ac8ab0215d","villageId":"village","points":12939,"kickedUntil":null,"disabled":false,"emoji":{"code":"eshin","url":"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/9515126d-2101-4a78-b48a-d548e0e79b32.webp","surrogates":":village_eshin_1787653949839:"}}],"groups_members":[{"group":{"id":58,"name":"Illuminés cosmiques","icon":"bbfd6fb6-de3d-42e8-b0f5-cba517435c54.jpeg"}},{"group":{"id":77,"name":"Ici c'est.. ","icon":"34272ff0-9652-4729-9512-e32bc0b6e7a9.jpeg"}},{"group":{"id":395,"name":"Kiwi gang ","icon":"8f27448f-3f17-4fef-8b89-7db662f563bc.png"}}]},"reactions":[],"createdAt":"2026-10-10T14:10:02.925Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":null,"repliedMessage":null,"mentions":[],"embeds":[],"poll":null,"rawContent":"Il faudra toujours des bêtes en math de toute façon, c’est un outil développé par l’humain, même si l’IA arrive à fournir toutes les preuves la vrai concrétisation passe par l’appréhension et l’analyse de ces dernières par les humains"},{"id":2479837,"content":"Uncle Ted le trap ![\"https://risibank.fr/cache/medias/0/36/3685/368597/full.png\"](\"https://risibank.fr/cache/medias/0/36/3685/368597/full.png\")
","originalContent":null,"files":[],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"62648fe1-8133-4085-bc55-32ac7c76ae7f","username":"PARANOlA","avatar":"7ac03a13-8473-425f-a759-2d1ce1eb2765.jpeg","villages_members":[{"userId":"62648fe1-8133-4085-bc55-32ac7c76ae7f","villageId":"village","points":4262,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[]},"reactions":[],"createdAt":"2026-10-10T14:11:16.051Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":null,"repliedMessage":null,"mentions":[],"embeds":[],"poll":null,"rawContent":"Uncle Ted le trap "},{"id":2479868,"content":"Un médaillé fields partage son désarroi vis-à-vis des récentes avancées cette année : la résolution de quelques problèmes d'erdös, les preuves automatisées avec lean (navier stokes pour citer l'exemple le plus relayé dans les médias) jusqu'à toucher à certains problèmes sur lesquels il travaillait personnellement avec son équipe depuis des années.
Il dénonce un minage de la recherche mathématique par les géants de la tech qui s'en servent comme tribune pour faire l'éloge des nouvelles prouesses de leurs modèles au détriment donc de la transparence académique.
","originalContent":null,"files":[],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"d1dc7475-8388-4416-b5a6-e18563171310.jpeg","villages_members":[{"userId":"9f554502-6d9f-4caf-b689-0aa45cd838f1","villageId":"village","points":3310,"kickedUntil":null,"disabled":false,"emoji":{"code":"dance","url":"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/eefc5928-dbb7-466a-85ab-e2820fc361e1.gif","surrogates":":village_dance_1783588702319:"}}],"groups_members":[{"group":{"id":223,"name":"C'est terminé","icon":"436c18b3-1a9c-4ad6-986e-b63dd405dfc2.png"}}]},"reactions":[],"createdAt":"2026-10-10T14:16:52.039Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2479827,"repliedMessage":{"id":2479827,"content":"Tu peux faire un résumé ","user":{"id":"89d2efb7-5390-4594-bc81-c005157cf689","username":"Narita","avatar":"3c0242e7-f527-4bc9-a9e3-308073b5b2df.jpeg"}},"mentions":[],"embeds":[],"poll":null,"rawContent":"Un médaillé fields partage son désarroi vis-à-vis des récentes avancées cette année : la résolution de quelques problèmes d'erdös, les preuves automatisées avec lean (navier stokes pour citer l'exemple le plus relayé dans les médias) jusqu'à toucher à certains problèmes sur lesquels il travaillait personnellement avec son équipe depuis des années.
Il dénonce un minage de la recherche mathématique par les géants de la tech qui s'en servent comme tribune pour faire l'éloge des nouvelles prouesses de leurs modèles au détriment donc de la transparence académique.
"},{"id":2479891,"content":"C'est un pas de plus finalement d'absorption d'un domaine par la machine, on avait déjà la société passée par le découpage du système de consommation, aujourd'hui on passe encore à l'étape supérieure où chaque parcelle de ce qui est peut être vendu est absorbé et on éradique ce qui n'est pas assez rentable, trop lent. Un peu à la manière dont on a mécanisé l'agriculture.","originalContent":null,"files":[],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"89d2efb7-5390-4594-bc81-c005157cf689","username":"Narita","avatar":"3c0242e7-f527-4bc9-a9e3-308073b5b2df.jpeg","villages_members":[{"userId":"89d2efb7-5390-4594-bc81-c005157cf689","villageId":"village","points":23615,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[]},"reactions":[],"createdAt":"2026-10-10T14:19:51.097Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2479868,"repliedMessage":{"id":2479868,"content":"Un médaillé fields partage son désarroi vis-à-vis des récentes avancées cette année : la résolution de quelques problèmes d'erdös, les preuves automatisées avec lean (navier stokes pour citer l'exemple le plus relayé dans les médias) jusqu'à toucher à certains problèmes sur lesquels il travaillait personnellement avec son équipe depuis des années.
Il dénonce un minage de la recherche mathématique par les géants de la tech qui s'en servent comme tribune pour faire l'éloge des nouvelles prouesses de leurs modèles au détriment donc de la transparence académique.
","user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"d1dc7475-8388-4416-b5a6-e18563171310.jpeg"}},"mentions":[],"embeds":[],"poll":null,"rawContent":"C'est un pas de plus finalement d'absorption d'un domaine par la machine, on avait déjà la société passée par le découpage du système de consommation, aujourd'hui on passe encore à l'étape supérieure où chaque parcelle de ce qui est peut être vendu est absorbé et on éradique ce qui n'est pas assez rentable, trop lent. Un peu à la manière dont on a mécanisé l'agriculture."},{"id":2479911,"content":"Je pense qu'on est déjà pas mal dans la situation de Matrix, mais c'est pas encore 100% télécommandé mais ça va venir","originalContent":null,"files":[],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"89d2efb7-5390-4594-bc81-c005157cf689","username":"Narita","avatar":"3c0242e7-f527-4bc9-a9e3-308073b5b2df.jpeg","villages_members":[{"userId":"89d2efb7-5390-4594-bc81-c005157cf689","villageId":"village","points":23615,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[]},"reactions":[],"createdAt":"2026-10-10T14:22:38.055Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2479868,"repliedMessage":{"id":2479868,"content":"Un médaillé fields partage son désarroi vis-à-vis des récentes avancées cette année : la résolution de quelques problèmes d'erdös, les preuves automatisées avec lean (navier stokes pour citer l'exemple le plus relayé dans les médias) jusqu'à toucher à certains problèmes sur lesquels il travaillait personnellement avec son équipe depuis des années.
Il dénonce un minage de la recherche mathématique par les géants de la tech qui s'en servent comme tribune pour faire l'éloge des nouvelles prouesses de leurs modèles au détriment donc de la transparence académique.
","user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"d1dc7475-8388-4416-b5a6-e18563171310.jpeg"}},"mentions":[],"embeds":[],"poll":null,"rawContent":"Je pense qu'on est déjà pas mal dans la situation de Matrix, mais c'est pas encore 100% télécommandé mais ça va venir"},{"id":2479914,"content":"Possible mais ça nous plongera immanquablement dans une situation inédite pour les mathématiques, nous allons pouvoir avancer sur des problèmes sans même comprendre les preuves sous-jacentes en faisant confiance aux modèles pour ne pas exploiter des failles dans les assistants de preuve.","originalContent":null,"files":[],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"d1dc7475-8388-4416-b5a6-e18563171310.jpeg","villages_members":[{"userId":"9f554502-6d9f-4caf-b689-0aa45cd838f1","villageId":"village","points":3310,"kickedUntil":null,"disabled":false,"emoji":{"code":"dance","url":"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/eefc5928-dbb7-466a-85ab-e2820fc361e1.gif","surrogates":":village_dance_1783588702319:"}}],"groups_members":[{"group":{"id":223,"name":"C'est terminé","icon":"436c18b3-1a9c-4ad6-986e-b63dd405dfc2.png"}}]},"reactions":[],"createdAt":"2026-10-10T14:23:03.917Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2479891,"repliedMessage":{"id":2479891,"content":"C'est un pas de plus finalement d'absorption d'un domaine par la machine, on avait déjà la société passée par le découpage du système de consommation, aujourd'hui on passe encore à l'étape supérieure où chaque parcelle de ce qui est peut être vendu est absorbé et on éradique ce qui n'est pas assez rentable, trop lent. Un peu à la manière dont on a mécanisé l'agriculture.","user":{"id":"89d2efb7-5390-4594-bc81-c005157cf689","username":"Narita","avatar":"3c0242e7-f527-4bc9-a9e3-308073b5b2df.jpeg"}},"mentions":[],"embeds":[],"poll":null,"rawContent":"Possible mais ça nous plongera immanquablement dans une situation inédite pour les mathématiques, nous allons pouvoir avancer sur des problèmes sans même comprendre les preuves sous-jacentes en faisant confiance aux modèles pour ne pas exploiter des failles dans les assistants de preuve."},{"id":2479917,"content":"C'est déjà un peu le cas en vrai, notamment sur ce qu'implique le second théorème l'incomplétude de Godel","originalContent":null,"files":[],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"89d2efb7-5390-4594-bc81-c005157cf689","username":"Narita","avatar":"3c0242e7-f527-4bc9-a9e3-308073b5b2df.jpeg","villages_members":[{"userId":"89d2efb7-5390-4594-bc81-c005157cf689","villageId":"village","points":23615,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[]},"reactions":[],"createdAt":"2026-10-10T14:23:53.890Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2479914,"repliedMessage":{"id":2479914,"content":"Possible mais ça nous plongera immanquablement dans une situation inédite pour les mathématiques, nous allons pouvoir avancer sur des problèmes sans même comprendre les preuves sous-jacentes en faisant confiance aux modèles pour ne pas exploiter des failles dans les assistants de preuve.","user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"d1dc7475-8388-4416-b5a6-e18563171310.jpeg"}},"mentions":[],"embeds":[],"poll":null,"rawContent":"C'est déjà un peu le cas en vrai, notamment sur ce qu'implique le second théorème l'incomplétude de Godel"},{"id":2479918,"content":"On aura plus aucune idée de la beauté d'une découverte mathématique, on aura seulement accès au résultat.","originalContent":null,"files":[],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"d1dc7475-8388-4416-b5a6-e18563171310.jpeg","villages_members":[{"userId":"9f554502-6d9f-4caf-b689-0aa45cd838f1","villageId":"village","points":3310,"kickedUntil":null,"disabled":false,"emoji":{"code":"dance","url":"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/eefc5928-dbb7-466a-85ab-e2820fc361e1.gif","surrogates":":village_dance_1783588702319:"}}],"groups_members":[{"group":{"id":223,"name":"C'est terminé","icon":"436c18b3-1a9c-4ad6-986e-b63dd405dfc2.png"}}]},"reactions":[],"createdAt":"2026-10-10T14:23:59.639Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":null,"repliedMessage":null,"mentions":[],"embeds":[],"poll":null,"rawContent":"On aura plus aucune idée de la beauté d'une découverte mathématique, on aura seulement accès au résultat."},{"id":2479921,"content":"Je ne vois pas le rapport.","originalContent":null,"files":[],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"d1dc7475-8388-4416-b5a6-e18563171310.jpeg","villages_members":[{"userId":"9f554502-6d9f-4caf-b689-0aa45cd838f1","villageId":"village","points":3310,"kickedUntil":null,"disabled":false,"emoji":{"code":"dance","url":"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/eefc5928-dbb7-466a-85ab-e2820fc361e1.gif","surrogates":":village_dance_1783588702319:"}}],"groups_members":[{"group":{"id":223,"name":"C'est terminé","icon":"436c18b3-1a9c-4ad6-986e-b63dd405dfc2.png"}}]},"reactions":[],"createdAt":"2026-10-10T14:24:14.815Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2479917,"repliedMessage":{"id":2479917,"content":"C'est déjà un peu le cas en vrai, notamment sur ce qu'implique le second théorème l'incomplétude de Godel","user":{"id":"89d2efb7-5390-4594-bc81-c005157cf689","username":"Narita","avatar":"3c0242e7-f527-4bc9-a9e3-308073b5b2df.jpeg"}},"mentions":[],"embeds":[],"poll":null,"rawContent":"Je ne vois pas le rapport."},{"id":2479925,"content":"\"C'est déjà un peu le cas aujourd'hui : on accepte des résultats mathématiques sans être capable de vérifier personnellement tous les détails de leurs démonstrations. Les assistants de preuve permettent justement de vérifier formellement la validité d'une preuve sans nécessairement la comprendre intuitivement. Le lien avec Gödel est toutefois indirect : son second théorème d'incomplétude montre, sous certaines conditions, qu'un système formel ne peut pas démontrer sa propre cohérence. Cela soulève des questions sur les fondements et la confiance, mais ne signifie pas qu'on ne peut pas vérifier les preuves. Avec l'IA, le véritable enjeu sera donc de distinguer la confiance dans un résultat formellement vérifié de la confiance dans le modèle qui le produit et dans l'assistant chargé de le vérifier.\"","originalContent":null,"files":[],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"89d2efb7-5390-4594-bc81-c005157cf689","username":"Narita","avatar":"3c0242e7-f527-4bc9-a9e3-308073b5b2df.jpeg","villages_members":[{"userId":"89d2efb7-5390-4594-bc81-c005157cf689","villageId":"village","points":23615,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[]},"reactions":[],"createdAt":"2026-10-10T14:25:49.044Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2479921,"repliedMessage":{"id":2479921,"content":"Je ne vois pas le rapport.","user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"d1dc7475-8388-4416-b5a6-e18563171310.jpeg"}},"mentions":[],"embeds":[],"poll":null,"rawContent":"\"C'est déjà un peu le cas aujourd'hui : on accepte des résultats mathématiques sans être capable de vérifier personnellement tous les détails de leurs démonstrations. Les assistants de preuve permettent justement de vérifier formellement la validité d'une preuve sans nécessairement la comprendre intuitivement. Le lien avec Gödel est toutefois indirect : son second théorème d'incomplétude montre, sous certaines conditions, qu'un système formel ne peut pas démontrer sa propre cohérence. Cela soulève des questions sur les fondements et la confiance, mais ne signifie pas qu'on ne peut pas vérifier les preuves. Avec l'IA, le véritable enjeu sera donc de distinguer la confiance dans un résultat formellement vérifié de la confiance dans le modèle qui le produit et dans l'assistant chargé de le vérifier.\""},{"id":2479936,"content":"Jusqu'à présent, on inventait des langages pour aborder certains problèmes pour lesquels on découvrait ensuite des connexions avec d'autres branches en les mettant à la lumière de différents outils d'analyse, bientôt les LLMs auront également recourt à des constructions qui nous sont parfaitement étrangères et nous ne serons même plus en mesure de comprendre la portée/richesse d'un problème.","originalContent":"Jusqu'à présent, on inventait des langages pour aborder certains problèmes pour lesquels on découvrait ensuite des connexions avec d'autres branches en les mettant à la lumière de différents outils d'analyse, bientôt les LLMs auront également recourt à des constructions qui nous sont parfaitement étrangères.","files":[],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"d1dc7475-8388-4416-b5a6-e18563171310.jpeg","villages_members":[{"userId":"9f554502-6d9f-4caf-b689-0aa45cd838f1","villageId":"village","points":3310,"kickedUntil":null,"disabled":false,"emoji":{"code":"dance","url":"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/eefc5928-dbb7-466a-85ab-e2820fc361e1.gif","surrogates":":village_dance_1783588702319:"}}],"groups_members":[{"group":{"id":223,"name":"C'est terminé","icon":"436c18b3-1a9c-4ad6-986e-b63dd405dfc2.png"}}]},"reactions":[],"createdAt":"2026-10-10T14:28:14.840Z","updatedAt":"2026-10-10T14:31:16.479Z","deleted":false,"first":false,"updater":null,"repliedMessageId":2479918,"repliedMessage":{"id":2479918,"content":"On aura plus aucune idée de la beauté d'une découverte mathématique, on aura seulement accès au résultat.","user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"d1dc7475-8388-4416-b5a6-e18563171310.jpeg"}},"mentions":[],"embeds":[],"poll":null,"rawContent":"Jusqu'à présent, on inventait des langages pour aborder certains problèmes pour lesquels on découvrait ensuite des connexions avec d'autres branches en les mettant à la lumière de différents outils d'analyse, bientôt les LLMs auront également recourt à des constructions qui nous sont parfaitement étrangères et nous ne serons même plus en mesure de comprendre la portée/richesse d'un problème."},{"id":2479941,"content":"Personne ne doute de la cohérence des fondements mathématiques bien que ce soit indécidable. C'est un argument philosophique sans applications pratiques.","originalContent":null,"files":[],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"d1dc7475-8388-4416-b5a6-e18563171310.jpeg","villages_members":[{"userId":"9f554502-6d9f-4caf-b689-0aa45cd838f1","villageId":"village","points":3310,"kickedUntil":null,"disabled":false,"emoji":{"code":"dance","url":"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/eefc5928-dbb7-466a-85ab-e2820fc361e1.gif","surrogates":":village_dance_1783588702319:"}}],"groups_members":[{"group":{"id":223,"name":"C'est terminé","icon":"436c18b3-1a9c-4ad6-986e-b63dd405dfc2.png"}}]},"reactions":[],"createdAt":"2026-10-10T14:29:15.746Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2479925,"repliedMessage":{"id":2479925,"content":"\"C'est déjà un peu le cas aujourd'hui : on accepte des résultats mathématiques sans être capable de vérifier personnellement tous les détails de leurs démonstrations. Les assistants de preuve permettent justement de vérifier formellement la validité d'une preuve sans nécessairement la comprendre intuitivement. Le lien avec Gödel est toutefois indirect : son second théorème d'incomplétude montre, sous certaines conditions, qu'un système formel ne peut pas démontrer sa propre cohérence. Cela soulève des questions sur les fondements et la confiance, mais ne signifie pas qu'on ne peut pas vérifier les preuves. Avec l'IA, le véritable enjeu sera donc de distinguer la confiance dans un résultat formellement vérifié de la confiance dans le modèle qui le produit et dans l'assistant chargé de le vérifier.\"","user":{"id":"89d2efb7-5390-4594-bc81-c005157cf689","username":"Narita","avatar":"3c0242e7-f527-4bc9-a9e3-308073b5b2df.jpeg"}},"mentions":[],"embeds":[],"poll":null,"rawContent":"Personne ne doute de la cohérence des fondements mathématiques bien que ce soit indécidable. C'est un argument philosophique sans applications pratiques."},{"id":2479963,"content":"Bah, comprendre les raisonnements des LLM deviendra le taf des matheux nan ?","originalContent":null,"files":[],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"f0e75f5b-b524-49ef-ad09-bf086451bf49","username":"Sashimimaru","avatar":"afe20315-f988-4564-9940-9184d7646863.jpeg","villages_members":[{"userId":"f0e75f5b-b524-49ef-ad09-bf086451bf49","villageId":"village","points":43193,"kickedUntil":null,"disabled":false,"emoji":{"code":"snake","url":"https://cdn.jsdelivr.net/gh/jdecked/twemoji@15.1.0/assets/72x72/1f40d.png","surrogates":"🐍"}}],"groups_members":[{"group":{"id":58,"name":"Illuminés cosmiques","icon":"bbfd6fb6-de3d-42e8-b0f5-cba517435c54.jpeg"}}]},"reactions":[],"createdAt":"2026-10-10T14:33:37.058Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2479936,"repliedMessage":{"id":2479936,"content":"Jusqu'à présent, on inventait des langages pour aborder certains problèmes pour lesquels on découvrait ensuite des connexions avec d'autres branches en les mettant à la lumière de différents outils d'analyse, bientôt les LLMs auront également recourt à des constructions qui nous sont parfaitement étrangères et nous ne serons même plus en mesure de comprendre la portée/richesse d'un problème.","user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"d1dc7475-8388-4416-b5a6-e18563171310.jpeg"}},"mentions":[],"embeds":[],"poll":null,"rawContent":"Bah, comprendre les raisonnements des LLM deviendra le taf des matheux nan ?"},{"id":2479968,"content":"Je doute que quiconque veuille être mathématicien après ça.","originalContent":null,"files":[],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"d1dc7475-8388-4416-b5a6-e18563171310.jpeg","villages_members":[{"userId":"9f554502-6d9f-4caf-b689-0aa45cd838f1","villageId":"village","points":3310,"kickedUntil":null,"disabled":false,"emoji":{"code":"dance","url":"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/eefc5928-dbb7-466a-85ab-e2820fc361e1.gif","surrogates":":village_dance_1783588702319:"}}],"groups_members":[{"group":{"id":223,"name":"C'est terminé","icon":"436c18b3-1a9c-4ad6-986e-b63dd405dfc2.png"}}]},"reactions":[],"createdAt":"2026-10-10T14:35:15.043Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2479963,"repliedMessage":{"id":2479963,"content":"Bah, comprendre les raisonnements des LLM deviendra le taf des matheux nan ?","user":{"id":"f0e75f5b-b524-49ef-ad09-bf086451bf49","username":"Sashimimaru","avatar":"afe20315-f988-4564-9940-9184d7646863.jpeg"}},"mentions":[],"embeds":[],"poll":null,"rawContent":"Je doute que quiconque veuille être mathématicien après ça."},{"id":2479971,"content":"Que ce soit inconnu ou incompris de l'humanité le problème est le même. L'immense majorité des gens se sert d'outils dont elle n'a aucune idée du fonctionnement. ","originalContent":null,"files":[],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"f0e75f5b-b524-49ef-ad09-bf086451bf49","username":"Sashimimaru","avatar":"afe20315-f988-4564-9940-9184d7646863.jpeg","villages_members":[{"userId":"f0e75f5b-b524-49ef-ad09-bf086451bf49","villageId":"village","points":43193,"kickedUntil":null,"disabled":false,"emoji":{"code":"snake","url":"https://cdn.jsdelivr.net/gh/jdecked/twemoji@15.1.0/assets/72x72/1f40d.png","surrogates":"🐍"}}],"groups_members":[{"group":{"id":58,"name":"Illuminés cosmiques","icon":"bbfd6fb6-de3d-42e8-b0f5-cba517435c54.jpeg"}}]},"reactions":[],"createdAt":"2026-10-10T14:36:44.052Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2479968,"repliedMessage":{"id":2479968,"content":"Je doute que quiconque veuille être mathématicien après ça.","user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"d1dc7475-8388-4416-b5a6-e18563171310.jpeg"}},"mentions":[],"embeds":[],"poll":null,"rawContent":"Que ce soit inconnu ou incompris de l'humanité le problème est le même. L'immense majorité des gens se sert d'outils dont elle n'a aucune idée du fonctionnement. "},{"id":2479974,"content":"À vous lire, on a presque l'impression que les problèmes nous tombent du ciel. L'homme a toujours été celui qui décide des problèmes sur lesquels il travaille et de leur importance. Derrière cela se cache la curiosité naturelle propre à tout chercheur.","originalContent":null,"files":[],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"d1dc7475-8388-4416-b5a6-e18563171310.jpeg","villages_members":[{"userId":"9f554502-6d9f-4caf-b689-0aa45cd838f1","villageId":"village","points":3310,"kickedUntil":null,"disabled":false,"emoji":{"code":"dance","url":"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/eefc5928-dbb7-466a-85ab-e2820fc361e1.gif","surrogates":":village_dance_1783588702319:"}}],"groups_members":[{"group":{"id":223,"name":"C'est terminé","icon":"436c18b3-1a9c-4ad6-986e-b63dd405dfc2.png"}}]},"reactions":[],"createdAt":"2026-10-10T14:39:14.429Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2479971,"repliedMessage":{"id":2479971,"content":"Que ce soit inconnu ou incompris de l'humanité le problème est le même. L'immense majorité des gens se sert d'outils dont elle n'a aucune idée du fonctionnement. ","user":{"id":"f0e75f5b-b524-49ef-ad09-bf086451bf49","username":"Sashimimaru","avatar":"afe20315-f988-4564-9940-9184d7646863.jpeg"}},"mentions":[],"embeds":[],"poll":null,"rawContent":"À vous lire, on a presque l'impression que les problèmes nous tombent du ciel. L'homme a toujours été celui qui décide des problèmes sur lesquels il travaille et de leur importance. Derrière cela se cache la curiosité naturelle propre à tout chercheur."},{"id":2479975,"content":"Si tu as plus de matheux alors tu as plus personne pour orienter la recherche, alors à moins que la machine devienne intégralement indépendante, l'évolution sera conditionnée à un investissement humain dans la mathématique. ","originalContent":null,"files":[],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"f0e75f5b-b524-49ef-ad09-bf086451bf49","username":"Sashimimaru","avatar":"afe20315-f988-4564-9940-9184d7646863.jpeg","villages_members":[{"userId":"f0e75f5b-b524-49ef-ad09-bf086451bf49","villageId":"village","points":43193,"kickedUntil":null,"disabled":false,"emoji":{"code":"snake","url":"https://cdn.jsdelivr.net/gh/jdecked/twemoji@15.1.0/assets/72x72/1f40d.png","surrogates":"🐍"}}],"groups_members":[{"group":{"id":58,"name":"Illuminés cosmiques","icon":"bbfd6fb6-de3d-42e8-b0f5-cba517435c54.jpeg"}}]},"reactions":[],"createdAt":"2026-10-10T14:39:55.482Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":null,"repliedMessage":null,"mentions":[],"embeds":[],"poll":null,"rawContent":"Si tu as plus de matheux alors tu as plus personne pour orienter la recherche, alors à moins que la machine devienne intégralement indépendante, l'évolution sera conditionnée à un investissement humain dans la mathématique. "},{"id":2479977,"content":"Les problèmes tombent du ciel parce que tu vois bien qu'en groupe les gens ne sont pas les mêmes qu'individuellement
Il y a quelque chose qui se passe, que PERSONNE ne maîtrise
","originalContent":null,"files":[],"villageId":"village","topic":{"id":141586,"title":"kaczynski avait raison sur le futur des mathématiques","slug":"kaczynski-avait-raison-sur-le-futur-des-mathematiques","messagesCount":37,"villageId":"village"},"user":{"id":"89d2efb7-5390-4594-bc81-c005157cf689","username":"Narita","avatar":"3c0242e7-f527-4bc9-a9e3-308073b5b2df.jpeg","villages_members":[{"userId":"89d2efb7-5390-4594-bc81-c005157cf689","villageId":"village","points":23615,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[]},"reactions":[],"createdAt":"2026-10-10T14:40:13.827Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2479974,"repliedMessage":{"id":2479974,"content":"À vous lire, on a presque l'impression que les problèmes nous tombent du ciel. L'homme a toujours été celui qui décide des problèmes sur lesquels il travaille et de leur importance. Derrière cela se cache la curiosité naturelle propre à tout chercheur.","user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"d1dc7475-8388-4416-b5a6-e18563171310.jpeg"}},"mentions":[],"embeds":[],"poll":null,"rawContent":"Les problèmes tombent du ciel parce que tu vois bien qu'en groupe les gens ne sont pas les mêmes qu'individuellement
Il y a quelque chose qui se passe, que PERSONNE ne maîtrise
"}],"hasPrevMessage":false,"hasNextMessage":true} ![\"blob:https://village.cx/da96b013-f45b-4ac5-be0e-64bd7a5e2fb9\"](\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/e7e09585-72d0-41d3-8426-d3665e426e04.png\")
![\"https://risibank.fr/cache/medias/0/27/2760/276041/full.png\"](\"https://risibank.fr/cache/medias/0/27/2760/276041/full.png\")