Tessera
Folgen

Monsieur Phi

@monsieurphi.bsky.social

Docteur en philosophie, ce qui ne soigne pas grand chose. Je fais des trucs sur YouTube : youtube.com/c/monsieurphi

281 Posts8852 Follower216 Folgt
Monsieur Phi@monsieurphi.bsky.social · 4d ago

OpenAI publie une "sélection" de résultats sur 10 problèmes mathématiques importants, dus à leur modèle interne Astra. openai.com/index/ten-ad... Du point de vue de 2023 ou 2024, c'est de la pure SF. Ma vidéo d'il y a 2 mois annonçait cette accélération, et ce n'est que le début :

Monsieur Phi@monsieurphi.bsky.social · 2mo ago

Nouvelle vidéo ! On parle des progrès récents et fulgurant dans la recherche en maths par IA. Ça va très très vite. youtu.be/AYPQIntoJeE

Monsieur Phi@monsieurphi.bsky.social · last wk.

Cet article de Timothy Gowers est le plus intéressant que j'ai lu parmi les réactions de mathématiciens aux progrès récents des IA en maths. gowers.wordpress.com/2026/07/26/t... Quelques réflexions que ça m'inspire sur "l'utilité épistémique" des êtres humains.

Thoughts about the Leiden Declaration

Last September I went to a workshop at the Lorentz Centre in Leiden to discuss mathematics and AI with historians, philosophers, computer scientists, AI researchers, and mathematicians of several d…

gowers.wordpress.com

Monsieur Phi@monsieurphi.bsky.social · 2w ago

Une autre conjecture majeure, la conjecture jacobienne, vient d'être réfutée à l'aide d'un LLM (en l'ocurrence Claude Fable). C'est Levent Alpöge, mathématicien chez Anthropic, qui l'a annoncé en un tweet qui ressemblait à une blague sauf que pas du tout :

hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)
Monsieur Phi@monsieurphi.bsky.social · 3w ago

Si vous avez été interessé par cette interview à l'époque, vous pourriez l'être encore plus par le livre de François Kammerer ! Il défend l'idée que la conscience phénoménale est une illusion, ce qui paraît radicalement paradoxal à première vue je sais... youtu.be/vrfaqsb_0LM?...

Café Phi #1 - Interview complète | François Kammerer - Sommes-nous tous des zombies ?

YouTube video by Monsieur Phi

youtu.be

François Kammerer@lovingautomaton.bsky.social · 3w ago

My book on consciousness at Oxford University Press is now available! It is titled House of Mirrors: The Illusion of Phenomenal Consciousness. The (open access) pdf can be downloaded for free on Oxford Academic: academic.oup.com/book/62981 Printed copies should be available at the end of July.

Monsieur Phi@monsieurphi.bsky.social · 2mo ago

Mon test usuel à la sortie d'un nouveau modèle c'est l'écriture de nanofictions. Avec seulement quelques exemples dans le prompt (et pas de sujet imposé), voici les trois premières que Claude Fable ait produit:

Il avait compris qu'il n'existait que le temps d'être lu. Alors il veilla à ne jamais finir sa phrase — à la suspendre, toujours, au bord du point final, retenue par une virgule, À chaque édition du dictionnaire, le mot « oubli » manquait. Le typographe jurait l'avoir composé. On vérifiait les plombs, on réimprimait : la page restait blanche à son endroit. On finit par admettre que le mot, simplement, faisait son travail. Elle traduisit le poème avec une telle justesse que l'original, vexé, se mit à sonner comme une traduction. Les deux textes se font face aujourd'hui dans les anthologies, et nul ne sait plus lequel a rêvé l'autre.
Monsieur Phi@monsieurphi.bsky.social · 3mo ago

Un LLM généraliste a réfuté une conjecture mathématique importante formulée en 1946. Les commentaires des mathématiciens sont éclairants sur le sujet.

Timothy Gowers@wtgowers.bsky.social · 3mo ago

OpenAI's claim that this is a central conjecture in discrete geometry is not an exaggeration. This will I think be looked back on as the first time that AI solved a major mathematics problem (defined as a problem that all experts in some subfield had thought about). openai.com/index/model-...

Monsieur Phi@monsieurphi.bsky.social · 3mo ago

Fin de crowdfunding pour le Late Show du Siècle et une très bonne nouvelle : quoiqu'on n'ait pas atteint le palier sur Ulule le 4e épisode sera bien financé aussi (grâce à une donation tardive et très généreuse !)

Merci ! Financé avec succès ! 172 727€ 3459 contributions collecte terminée le 8 mai 2026
Monsieur Phi@monsieurphi.bsky.social · 4mo ago

Je bosse à fond pour vous sortir le dernier épisode de PhilosopherView pendant que le crowdfunding est en cours. On est à 200% mais il ne reste plus qu'une semaine : pour atteindre le 3e palier et débloquer l'épisode Spinoza, il va falloir aller encore un peu plus loin... Allez !

Page de crowdfunding 120 001€ récoltés : 140 000 pour l'épisode 3 avec Spinoza.