Marco Lenci
@marcolenci.bsky.social
Mathematical physicist at Università di Bologna
#ItaLean2025 "Bridging Formal Mathematics and AI" in full swing! Very interesting talks on quite momentous topics (and such a jazzy atmosphere...)
pitmonticone.github.io/ItaLean2025/
pitmonticone.github.io/ItaLean2025/
December 12, 2025 at 10:31 AM
#ItaLean2025 "Bridging Formal Mathematics and AI" in full swing! Very interesting talks on quite momentous topics (and such a jazzy atmosphere...)
pitmonticone.github.io/ItaLean2025/
pitmonticone.github.io/ItaLean2025/
How This Guy Folds and Flies World Record Paper Airplanes | WIRED
YouTube video by WIRED
youtu.be
October 29, 2025 at 12:35 AM
Reposted by Marco Lenci
If you can travel on Dec 9-12 and you are interested in LEAN, mathlib and in general formalizing mathematics, don't miss #ItaLean25
Great job @marcolenci.bsky.social and @pietromonticone.bsky.social
pitmonticone.github.io/ItaLean2025/
Great job @marcolenci.bsky.social and @pietromonticone.bsky.social
pitmonticone.github.io/ItaLean2025/
ItaLean 2025
pitmonticone.github.io
October 9, 2025 at 2:49 PM
If you can travel on Dec 9-12 and you are interested in LEAN, mathlib and in general formalizing mathematics, don't miss #ItaLean25
Great job @marcolenci.bsky.social and @pietromonticone.bsky.social
pitmonticone.github.io/ItaLean2025/
Great job @marcolenci.bsky.social and @pietromonticone.bsky.social
pitmonticone.github.io/ItaLean2025/
This is to give you an idea how crazy things are in academia right now. Literally in the past day and a half I received 3 + 1/2 + 1/2 review requests!! (I'm not at liberty to say what those two halves are.)
September 3, 2025 at 10:21 AM
This is to give you an idea how crazy things are in academia right now. Literally in the past day and a half I received 3 + 1/2 + 1/2 review requests!! (I'm not at liberty to say what those two halves are.)
I’m honored to have been appointed Associate Editor of Chaos, Solitons & Fractals
www.sciencedirect.com/journal/chao...
If you think you have a good and appropriate paper in the areas of dynamical systems, ergodic theory and stochastic processes, submit it to the journal to my attention!
www.sciencedirect.com/journal/chao...
If you think you have a good and appropriate paper in the areas of dynamical systems, ergodic theory and stochastic processes, submit it to the journal to my attention!
Chaos, Solitons & Fractals | Journal | ScienceDirect.com by Elsevier
Read the latest articles of Chaos, Solitons & Fractals at ScienceDirect.com, Elsevier’s leading platform of peer-reviewed scholarly literature
www.sciencedirect.com
August 21, 2025 at 11:23 AM
I’m honored to have been appointed Associate Editor of Chaos, Solitons & Fractals
www.sciencedirect.com/journal/chao...
If you think you have a good and appropriate paper in the areas of dynamical systems, ergodic theory and stochastic processes, submit it to the journal to my attention!
www.sciencedirect.com/journal/chao...
If you think you have a good and appropriate paper in the areas of dynamical systems, ergodic theory and stochastic processes, submit it to the journal to my attention!
Stuff like this is going to happen more and more often, I fear. I’m amazed at the lengths people (especially outside a math dept) go to avoid doing a bit of math.
🤦♂️
3/n Specifically they uploaded the relevant section from the review and asked ChatGPT to confirm that the algebra was correct and to provide the reasoning. ChatGPT obliged. I went through the line by line reasoning and there was one jump that made no sense.
August 20, 2025 at 7:01 AM
Stuff like this is going to happen more and more often, I fear. I’m amazed at the lengths people (especially outside a math dept) go to avoid doing a bit of math.
Reposted by Marco Lenci
Rivoluzioni matematiche: il Teorema ergodico di Marco Lenci https://maddmaths.simai.eu/divulgazione/letture-matematiche/teorema-ergodico-marco-lenci/
August 2, 2025 at 7:11 AM
Rivoluzioni matematiche: il Teorema ergodico di Marco Lenci https://maddmaths.simai.eu/divulgazione/letture-matematiche/teorema-ergodico-marco-lenci/
This is spectacular!
The Awkward Moment a Fox News Host's Mom Calls in to Tell Him Off
July 30, 2025 at 8:53 AM
This is spectacular!
My book on the Ergodic Theorem is out in every (more or less) Italian newsstand this week, available as a bundle with the August issue of Le Scienze magazine (the Italian version of Scientific American), part of a series on the Greatest Theorems of Mathematics!
www.lescienze.it/collane/teor...
www.lescienze.it/collane/teor...
Probabilità e termodinamica
In edicola a richiesta con il numero di «Le Scienze» di agosto il nuovo volume della collana mensile Rivoluzioni matematiche
www.lescienze.it
July 29, 2025 at 8:59 PM
My book on the Ergodic Theorem is out in every (more or less) Italian newsstand this week, available as a bundle with the August issue of Le Scienze magazine (the Italian version of Scientific American), part of a series on the Greatest Theorems of Mathematics!
www.lescienze.it/collane/teor...
www.lescienze.it/collane/teor...
Reposted by Marco Lenci
A new "Mathlib initiative" focussed around Lean's mathematics library has been announced. Thanks to the generosity of Alex Gerko and XTX Markets, there is finally an official entity focussed on growing this 21st century way of doing mathematics.
www.renaissancephilanthropy.org/news-and-ins...
www.renaissancephilanthropy.org/news-and-ins...
Lean FRO and Mathlib receive $10M from XTX Markets Founder Alex Gerko to further advance the use of AI for mathematical research — Renaissance Philanthropy – A brighter future for all through science,...
FOR IMMEDIATE RELEASE July 24, 2025 Contact: media@renphil.org ; richard.hillary@xtxmarkets.com ; pr@convergentresearch.org
www.renaissancephilanthropy.org
July 24, 2025 at 6:33 PM
A new "Mathlib initiative" focussed around Lean's mathematics library has been announced. Thanks to the generosity of Alex Gerko and XTX Markets, there is finally an official entity focussed on growing this 21st century way of doing mathematics.
www.renaissancephilanthropy.org/news-and-ins...
www.renaissancephilanthropy.org/news-and-ins...
This video troubles me, in a number of good ways...
youtu.be/LKiBlGDfRU8?...
youtu.be/LKiBlGDfRU8?...
My dream died, and now I'm here
YouTube video by Sabine Hossenfelder
youtu.be
November 20, 2024 at 4:00 PM
This video troubles me, in a number of good ways...
youtu.be/LKiBlGDfRU8?...
youtu.be/LKiBlGDfRU8?...
Who'd have guessed?
www.qut.edu.au/news/realfoc...
www.qut.edu.au/news/realfoc...
Tech billionaire Elon Musk’s social media posts have had a ‘sudden boost’ since July, new research reveals
www.qut.edu.au
November 18, 2024 at 10:13 AM
Who'd have guessed?
www.qut.edu.au/news/realfoc...
www.qut.edu.au/news/realfoc...
Nope, not working for me. Neither the normal script (get the error messages as in 1st pic) nor the slow delete under Advanced Options (see 2nd pic).
I really don't know squat about browser consoles and script, but my inkling is that X sent me incomplete / weirdly formatted data.
I really don't know squat about browser consoles and script, but my inkling is that X sent me incomplete / weirdly formatted data.
November 17, 2024 at 5:04 PM
Nope, not working for me. Neither the normal script (get the error messages as in 1st pic) nor the slow delete under Advanced Options (see 2nd pic).
I really don't know squat about browser consoles and script, but my inkling is that X sent me incomplete / weirdly formatted data.
I really don't know squat about browser consoles and script, but my inkling is that X sent me incomplete / weirdly formatted data.
Happy Festivus! 🥅
December 23, 2023 at 6:40 PM
Happy Festivus! 🥅
This search for a valid aternative to Twitter must end at some point...
November 4, 2023 at 5:18 PM
This search for a valid aternative to Twitter must end at some point...