HeyJaredQuantum Formalism
Join our community of fearless advanced maths enthusiasts keen to learn advanced mathematical structures relevant to artificial intelligence, quantum computing and other emerging technologies.
- Indexed issues, last 90 days
- 14
- Latest publication
- Sep 27, 2026
- Audience
- Checking…
- Earliest in this view
- Aug 8, 2026
Latest issues
Two Paths to Math Everest (opens the original)
Read excerpt
Something significant has happened in mathematics over the past few months. For several years, progress in AI for mathematics was still discussed mainly through benchmarks. These systems became better at formal proof, Olympiad problems, symbolic reasoning and increasingly difficult mathematical exercises. The results were impressive, but they were still largely demonstrations of capability and not direct contributions to research-level mathematics. We are now moving beyond that stage. On 8 Septe
The QF Bookshelf #01: Book of Proof (opens the original)
Read excerpt
At Quantum Formalism (QF) Academy, all our programmes include an element of mathematical proof. We even have a short crash course to help students develop the main proof techniques they need before moving into our more advanced material. Alongside that, we recommend Richard Hammack’s Book of Proof. It’s an accessible introduction to mathematical proof, covering logic, sets, functions and key techniques such as direct proof, contradiction, c
What Fine-Art Photography Can Teach Us About AI in Mathematics (opens the original)
Read excerpt
So much has been happening in AI for mathematics recently, including OpenAI’s claimed progress on the Navier–Stokes Millennium Prize Problem, that we thought it was worth reflecting on where this could lead.One comparison that keeps appearing is photography and painting. The argument usually goes that painters initially saw photography as a threat, yet … Read more
“What I Cannot Create, I Do Not Understand.” (opens the original)
Read excerpt
“What I Cannot Create, I Do Not Understand.” -Richard FeynmanFeynman wrote this on his blackboard near the end of his life, and it captures his approach to physics in eight words.He did not trust that he understood something simply because he could recite it or follow someone else’s derivation. Understanding, to him, meant being able to rebuild the id… Read more
7 LITTLE-KNOWN STORIES ABOUT SRINIVASA VARADHAN (opens the original)
Read excerpt
Although Srinivasa Varadhan is world-famous in the scientific community for creating the Theory of Large Deviations and winning the Abel Prize in 2007, there are several lesser-known stories about his personal life, the early years of his career, and his views that most people and
Publishing over time
Last 90 days. Choose a month to open its work.
Recurring subjects
Named in the text we hold. One piece can cover several.
Audience
No verified audience measurement yet.
About this data
Counts cover the work we have indexed. Tone needs enough text and a confident classification. Excerpts and episode notes are not full articles or transcripts.
Identity or attribution wrong? Suggest a correction.