Clik here to view.
To cheer you up in difficult times 27: A major recent “Lean” proof verification
“Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover.” (See Lean’s homepage and see here for an...
View ArticleClik here to view.
To cheer you up in difficult times 33: Deep learning leads to progress in...
One of the exciting directions regarding applications of computers in mathematics is to use them to experimentally form new conjectures. Google’s DeepMind launched an endeavor for using machine...
View ArticleClik here to view.
Test your intuition 47: AGC-GTC-TGC-GTC-TGC-GAC-GATC-? what comes next in the...
Before getting to the main topic of this post, first, Happy New Year 2022 and Merry Christmas to all readers, and second, a quick update: A community blog to discuss open problems in algebraic...
View ArticleClik here to view.
ICM 2018 Rio (5) Assaf Naor, Geordie Williamson and Christian Lubich
This is my fifth and last report from ICM 2018 at Rio. I will talk a little about the three Wednesday plenary talks by Assaf Naor, Geordie Williamson, and Christian Lubich. See here for other posts...
View ArticleClik here to view.
ICM 2022 awarding ceremonies (1)
Hugo Duminil-Copin, June Huh, James Maynard and Maryna Viazovska were awarded the Fields Medal 2022 and Mark Braverman was awarded the Abacus Medal 2022. I am writing from Helsinki where I attended...
View ArticleClik here to view.
ICM 2022: Langlands Day
ICM 2022 is running virtually and you can already watch all the videos of past lectures at the IMU You-Tube channel, and probably even if you are not among the 7,000 registered participants you can...
View ArticleClik here to view.
Greg Kuperberg @ Tel Aviv University
Greg Kuperberg is on a short visit in Israel and yesterday he gave a fantastic lecture on an improved bound for the Solovay-Kitaev theorem. Here is a videotaped lecture of Greg on the same topic in...
View ArticleClik here to view.
Pictures from Our 2024 Annual Meeting of the Israel Mathematical Union and...
To me and to many mathematicians in Israel, the Annual meeting of the Israeli Mathematical Union is a dear event and we try to take part. (Here we briefly described the 2017 meeting in Acre, and here...
View ArticleClik here to view.
Some mathematical news
Update: Let me mention a ninth paper that just appeared on the arXive. IX. … and the optimal sofa for the moving sofa problem is … Gerver’s sofa. Optimality of Gerver’s Sofa, by Jineon Baek (h/t for...
View ArticleClik here to view.
Winter School on Expansion in Groups, Combinatorics, and Complexity
Next week in Weizmann Institute there will be a Winter school in expansion in groups combinatorics and complexity. (The link includes abstracts for the lectures.) Dates: January 5-8, 2025Venue: The...
View Article