Recent Comments
-
Recent Posts
- Questions and Concerns About Google’s Quantum Supremacy Claim
- Physics Related News: Israel Joining CERN, Pugwash and Global Zero, The Replication Crisis, and MAX the Damon.
- Test your intuition 52: Can you predict the ratios of ones?
- Amnon Shashua’s lecture at Reichman University: A Deep Dive into LLMs and their Future Impact.
- Mathematics (mainly combinatorics) related matters: A lot of activity.
- Alef Corner: Deep Learning 2020, 2030, 2040
- Some Problems
- Critical Times in Israel: Last Night’s Demonstrations
- An Aperiodic Monotile
Top Posts & Pages
- Questions and Concerns About Google’s Quantum Supremacy Claim
- An Aperiodic Monotile
- Test your intuition 52: Can you predict the ratios of ones?
- A Mysterious Duality Relation for 4-dimensional Polytopes.
- TYI 30: Expected number of Dice throws
- Quantum Computers: A Brief Assessment of Progress in the Past Decade
- The Simplex, the Cyclic polytope, the Positroidron, the Amplituhedron, and Beyond
- A Nice Example Related to the Frankl Conjecture
- Answer: Lord Kelvin, The Age of the Earth, and the Age of the Sun
RSS
Category Archives: Mathematics and Computers
ICM 2022. Kevin Buzzard: The Rise of Formalism in Mathematics
In this post I would like to report on Kevin Buzzard’s spectacular lecture on moving mathematics toward formal mathematical proofs. (Here are the slides.) The picture above is based on images from the other spectacular Saturday morning lecture by Laure … Continue reading