If the frontier AI models have limited rollouts, will we see two tiers of mathematicians and scientists, those who have access, and those who don't?

With AI making progress in settling mathematical conjectures, is a proof of P ≠ NP around the corner? No, you need to respect the difficulty of P v NP.

A list of principles put forth by mathematicians, for mathematicians and other researchers, regarding the use of AI in research. "Number #9 will surprise you!" leidendeclaration.ai

The OpenAI breakthrough on the unit distance problem seems genuinely impressive to my semi-layman eye. (It is!) One possible takeaway, though, is that if you throw an incredible amount of money and resources at focused research, there WILL be impressive progress. I wish we tried that, too.

The #STOC2026 TheoryFest will include an online poster session, held on Gather.Town, for those unable to attend in person! Details, and how to submit a poster: acm-stoc.org/stoc2026/cal... (Deadline ⏰ Friday, June 12) An initiative led by Ian Mertz and Ninad Rajgopal!

Currently teaching my students "probability amplification by repetition" by sending the same announcement 10 times on the class forum.

Happy long weekend! It seems we all agree AI has greatly improved productivity. I think we should just normalize long weekends. Let everyone work 4 days a week, rather than firing 20% of the staff.

Hash tables, or how to leverage the sinking feeling of loneliness you get when you look at the sky

Remember: it's alright to be annoyed at things, especially what seems broken or dysfunctional. We all are! What matters though is to then do something constructive with your frustration, for instance writing mildy cryptic yet well worded posts on social media

We also welcome remote working interns!

Fujitsu research (located in Santa Clara, CA) is hiring summer interns. Apply if you are a PhD student in the quantum computing areas, especially if you are interested in quantum algorithms, quantum error correction and compilation technologies, etc: www.jobs.global.fujitsu.com/job/Research...

Congratulations to our colleague John Wright, who has received a 2026 Sloan Fellowship! chemistry.berkeley.edu/news/seven-u...

Preparing for my first lecture (Algorithm Design), I added a slide this year. Can't really not address it.

Something worrying me: many seem to change their research direction out of FOMO, reacting to (the obvious) recent trend: "If I don't do this, someone else will do it!" One of the key perks we have in academia is the freedom to set our own agenda.* If someone else can—and WILL—do it, why would you?

Talk at #TQC2025 by Aparna Gupte (MIT): "can we have quantum One-Time Programs, i.e., programs that can be evaluated only once?" No. But, good news, yes! arxiv.org/abs/2411.01876

We are launching an 𝐮𝐧𝐨𝐟𝐟𝐢𝐜𝐢𝐚𝐥 and experimental online parallel event for the conference ITCS25, aimed at everyone who cannot attend the conference in person for whatever reasons. (1/2) sites.google.com/view/itcs202... #ITCS25 #ITCS2025 #OnlineParallels

Imagine there's no countries It isn't hard to do; Nothing to kill or die for And no religion, too. Imagine all the people Livin' life in peace. You may say I'm a dreamer But I'm not the only one. I hope someday you'll join us And the world will be as one. John Lennon, 10/9/40-12/8/80

Peer reviews of the quantum cryptography community have been making me very depressed and nihilistic recently..... Wrote this just to vent.... gardenofforkingpath.blogspot.com/2024/12/some...

A new work with @henryyuen.bsky.social and Saachi Mutreja. We show a classical oracle separation of QMA and QCMA, the long-standing problem on the power of quantum proofs over classical proofs, based on a quantum pseudorandomness conjecture. arxiv.org/abs/2411.14416