Dulwich Quantum Computing

dulwichquantum.bsky.social

18 September 2026 21:44

Only 5 submissions per author?! But what will Jens do??

Clément Canonne

ccanonne.github.io

18 September 2026 08:06

The Call for Papers for #STOC2027 is up! Importantly, the PC "will place substantial weight on the quality of exposition, and clarity of technical arguments and proofs" Also: - Public posting requirement - Required video submission and more. Deadline: ⏰ Nov 2, AoE acm-stoc.org/stoc2027/sto...

Timothy Gowers

wtgowers.bsky.social

17 September 2026 10:48

I've written a blog post responding to the letter about maths and AI signed by 25 Fields medallists. As with the Leiden Declaration, I didn't sign it, but I agree with much of it and welcome its existence. gowers.wordpress.com/2026/09/17/w...

Ryan O'Donnell

booleananalysis.bsky.social

05 September 2026 05:11

I gave a talk at Carnegie Mellon about the recent proof (by OpenAI) of the existence of a non-sofic group: youtu.be/uOQvzLjJK6c

Timothy Gowers

wtgowers.bsky.social

05 September 2026 05:10

Kevin Buzzard's thoughts on Fermat's Last Theorem being autoformalized in Lean. xenaproject.wordpress.com/2026/09/04/f...