Maris Ozols
@marisozols.bsky.social
Associate professor at the University of Amsterdam and senior researcher at QuSoft working on quantum computing.
Like many others I was feeling the lack of a platform where the full spectrum of opinions (in particular also lesser heard voices) on "math and AI" may get an audience. Now here it is! Think about contributing and share it widely! proofsandprompts.com #math #mathsky #llm #AI #mathandai
Proofs and Prompts
Notes from the common room
proofsandprompts.com
A question for quantum info community and QIP program committee: how would you review AI-generated solutions to important problems in our field? There are already examples of very strong results which several teams claimed simultaneously. 1/n
Francesco Anna Mele@francescoannamele.bsky.social · last mo.Sadly, unless you pay $200 per month (230 EUR if you’re European 🙂), you’re no longer as competitive in quantum info theory (as I guess in any applied-math topic).
Schedule for today's student presentations on analyzing / debunking various quantum claims. Very exciting!
Maris Ozols@marisozols.bsky.social · 3mo agoI gave a lecture on quantum hype and quantum bullshit for our master's students this week. Afterwards they looked at Microsoft's Majorana 2 announcement and analyzed it from different sides: original press release, publication, media coverage and expert response, and then made their own conclusions.
I gave a lecture on quantum hype and quantum bullshit for our master's students this week. Afterwards they looked at Microsoft's Majorana 2 announcement and analyzed it from different sides: original press release, publication, media coverage and expert response, and then made their own conclusions.
Lecturer/Senior Lecturer/Associate Professor in Quantum Computing Theory at University of Bristol www.bristol.ac.uk/jobs/find/de...
Details | Working at Bristol | University of Bristol
bristol.ac.uk
Big update: the EC Zoo is now a handbook. It spans codes, sphere packings, lattices, designs, groups, and phases of matter. Extensively checked, but not perfect—feedback very welcome: arxiv.org/abs/2606.11484
Handbook of Error-Correcting Codes
Barcode scans, clear phone calls, reliable data storage, satellite communication, and large-scale quantum computation are all made possible by error correction. We present a handbook version of The Er...
arxiv.org
PhD opportunity in QIT in Grenoble. I am advertising a project through the QuanG2 call, at the interface of nonlocality, self-testing, computationally bounded devices, complexity, and crypto. My project is among the topics offered: phdquantumgrenoble.univ-grenoble-alpes.fr/phd-applicat...
I signed this today. I'm sceptical of the blind trust of people in LLMs, and I don't think LLMs will replace me as a researcher, teacher, and mentor. At the same time, I want to be open to new technologies and see whether and how we can use them fruitfully in our research and teaching.
Michael Barany@mjb.mathstodon.xyz.ap.brid.gy · 3mo agoSince September I've been working with an international group to develop what we hope can be a response from the mathematics community to artificial intelligence in maths. The Leiden Declaration is now posted and open for signatures: https://leidendeclaration.ai/ #LeidenDeclaration
This terrific article by Siobhan Roberts could help elevate the public discussion of AI in mathematics. The interview about the Leiden Declaration is especially helpful. www.nytimes.com/2026/06/02/s...
As A.I. Makes Strides in Mathematics, Mathematicians Urge Caution
nytimes.com
Two thoughtful write-ups about AI & math: * "Use of AI in mathematical research: A guide for young mathematicians" by Pavel Etingof math.mit.edu/~etingof/aiu... * "What does AI do for the working mathematician?" by Krystal Guo krystalguo.com/blog/ai-math...
I've been running a Lean seminar at CWI/UvA for some time. We now started formalizing Appleby's result on the structure of the single-qudit Clifford group. Here's the blueprint and GitHub repository in case you're interested. marozols.github.io/clifford-pro... github.com/marozols/cli...
GitHub - marozols/clifford-project: Lean formalization of the structure theorem for the single-qudit Clifford group
Lean formalization of the structure theorem for the single-qudit Clifford group - marozols/clifford-project
github.com
New blog post out! ✨ I give here a visual introduction to algebraic topology in the context of quantum error correction. You will learn about manifolds, cellulations, chain complexes, and their relation to CSS codes like the surface code. Enjoy! :) arthurpesah.me/blog/2026-05...
The topology of topological QEC I — Manifolds and complexes
Research blog
arthurpesah.me
The talks from the Helgoland quantum centenary last year are now online. www.newquantumera.com/blog/helgola...
Helgoland 2025 Talks Are Online!
30 talks given at the centennial celebration of quantum mechanics on Helgoland are now on YouTube — and there's a documentary coming too.
newquantumera.com
The arXiv is becoming a nonprofit separate from Cornell, and they're looking for a CEO. Please repost to let good candidates know! @dabacon.tachyon.institute, @harrowing.bsky.social, @michaelnielsen.bsky.social jobs.chronicle.com/job/37961678...
Chief Executive Officer - New York City, New York (US) job with arXiv | 37961678
arXiv seeks its first CEO to champion open, free scientific discovery and guide the platform’s next chapter as an independent nonprofit.
jobs.chronicle.com
Come see me speak about the new era of simplex method theory. Wednesday!
TCS+@tcsplus.bsky.social · 6mo agoAnd... we are back on 🎉! The first talk of the season will be delivered by Sophie Huiberts (CNRS, @sophie.huiberts.me), on ⏰ March 4 (10am PT, 1pm ET, 19:00 CET): "Analyzing the Simplex Method by the Book" RSVP to receive the link (one day before the talk): forms.gle/aD621bCwswjB...
Here are videos and slides of my 6 hour overview of QEC, slightly updated from my @qip2025.bsky.social tutorial. Thanks goes to Kishor Bharti and Atul Arora for letting me give this at the Quantum Meets! www.youtube.com/playlist?lis... zenodo.org/records/1874...
Quantum Tutorials | 2026 - YouTube
youtube.com
10 years after its founding, driven by the energy, enthusiasm, & dedication of the community @quantum-journal.bsky.social quietly published paper #2000 some days ago. At least I think this is a big deal, big shout out to the founders & all authors, reviewers, editors, board members & contributors!
I am looking to hire PhD students to work on Complexity Theory (and more specifically on Algebraic Complexity). candidate.hr-manager.net/ApplicationI... Deadline: March 1, 2016.
PhD position for Algebraic Complexity Theory at the IT University of Copenhagen
The IT University of Copenhagen invites highly motivated individuals to apply for a PhD position starting 1 September 2026 or soon thereafter. We invite a
candidate.hr-manager.net
Check out our call for applications for PhD positions in our research unit on machine learning for complex quantum systems funded by @dfg.de including @heylgroup.bsky.social @gppcarleo.bsky.social and many more: for5919.github.io/joinus/2025_...
Multiple PhD positions available: call for applications
Our recently established collaborative research initiative “Machine Learning for Complex Quantum States” (MLCQS) – a consortium spanning nine different institutions across Germany and Switzerland – is...
for5919.github.io
The definition of the induced representation on Wikipedia looks wrong or at least unclear. The notation h_i seems to suggest that these elements of H depend only on the coset label i but not the element g of group G. This can't be right... Or am I missing something? en.wikipedia.org/wiki/Induced...
Perimeter Institute openings: 1. Particle Physics: academicjobsonline.org/ajo/jobs/31429 2. The intersection of Theoretical Physics and Artificial Intelligence: academicjobsonline.org/ajo/jobs/31430 3. Quantum Computing and Quantum Information: academicjobsonline.org/ajo/jobs/31435
Perimeter Institute for Theoretical Physics, Research
Job #AJO31429, Tenure Track Faculty Appointment in Elementary Particle Theory - Perimeter Institute, Research, Perimeter Institute for Theoretical Physics, Waterloo, Ontario, CA
academicjobsonline.org
#QIP2026 is coming to Riga in less than a week! Very excited to find my university (pictured) at the epicenter of a global academic event. PSA: Pack some *really* warm clothing - we've got a real winter this time ❄️
academicjobsonline.org/ajo/jobs/31435
Perimeter Institute for Theoretical Physics, Research
Job #AJO31435, The Ray Laflamme Early Career Chair in Quantum Computing and Quantum Information - Perimeter Institute, Research, Perimeter Institute for Theoretical Physics, Waterloo, Ontario, CA
academicjobsonline.org
(Mathematical art, I guess.) Phase-shifting the Fourier transform of a regular 14-gon. Or equivalently: seven plane waves meeting at equal angles.
