01.06.2026 – SUBjektiv

L’acteur britannique Terence Stamp, qui avait incarné l’ange rédempteur du « Théorème » de Pasolini, est mort

Icône à la beauté angélique du Londres des années 1960, il avait séduit les plus grands cinéastes, remportant le prix d’interprétation à Cannes pour « L’Obsédé », de William Wyler en 1965. Il est décédé le dimanche 17 août, à l’âge de 87 ans.

« 380 ans de mystère enfin résolu » : des mathématiciens percent le secret ultime du théorème des cercles de Descartes avec une démonstration fulgurante - Innovant

Les mathématiques ont récemment connu une avancée majeure grâce à des chercheurs de l'université Monash. Ils ont résolu un casse-tête géométrique vieux de plusieurs siècles, lié au célèbre théorème des cercles de Descartes. Cette découverte n'est pas seulement un exploit intellectuel, elle ouvre aussi de nouvelles perspectives en géométrie et au-delà. Quelles implications cela pourrait-il

Bluesky

Dernier théorème de Fermat : à l'épreuve de l'informatique

Un projet collaboratif s’est donné pour objectif de formaliser la preuve du théorème de Fermat afin de pouvoir l’apprendre à un ordinateur. Quel est l’enjeu de cette formalisation ? Pourquoi est-ce si compliqué ? Qu’est-ce qu’un assistant de preuve et quel est son rôle en mathématiques ?

Dernier théorème de Fermat : à l'épreuve de l'informatique

Un projet collaboratif s’est donné pour objectif de formaliser la preuve du théorème de Fermat afin de pouvoir l’apprendre à un ordinateur. Quel est l’enjeu de cette formalisation ? Pourquoi est-ce si compliqué ? Qu’est-ce qu’un assistant de preuve et quel est son rôle en mathématiques ?

Bluesky