Sign in

Anuj Dawar अनुज दावर انُج داور

@anujdawar.bsky.social
266 followers 212 following 238 posts

Professor of Logic and Algorithms @cst.cam.ac.uk. Fellow @robinsoncollege.bsky.social. Fellow @royalsociety.org. Theoretical computer scientist. News junkie. Parent of teenagers.

PostsRepliesMedia
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 10/10/2026
I like the metaphor of colonial occupation in the opening paragraph. www.insidehighered.com/opinion/view...
insidehighered.com
The AI Invasion Has Come for Mathematics (opinion)
Must mathematicians resign themselves to a future in which we are mere advisers to the LLMs and their corporate overlords?
020
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 09/10/2026
Hearing anecdotally of other such stories. Then there's this. curticapean.net/math-notes/
curticapean.net
Timeline of Math Results
A mathematics result catalogue with discussions and synchronized timelines.
051
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 09/10/2026
Quite. I'm not on twitter myself, but being in Delhi at the moment, I'm finding bluesky rather surreal.
0114
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 09/10/2026
"ensuring that war crimes, crimes against humanity and genocide are prosecuted."
000
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 07/10/2026
Yeah. Less time than we thought!
010
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 07/10/2026
A day we will never forget! But is it a one off? Or are we going to have this happen every month now?
010
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 07/10/2026
There are many results in there I would like to understand better. We could spend ages digesting this. But is this the end? Or are we going to get a dump like this every month?
100
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 07/10/2026
Some claimed results on the list clearly subsume others. Are they trying to pad out their publication list? Would it have looked bad if they had released only 666 papers? #MathSky
250
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 07/10/2026
And, the existential theory of the rationals is undecidable!
000
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 07/10/2026
Other things in there: Hadwiger's conjecture is false! And more close to home for me, a separation of CPT from P!
100
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 07/10/2026
I have just been looking through the OpenAI list. Not read more than the abstracts of any of the papers. As rumoured, the Unique Games conjecture is on there, as is L=RL=BPL. The matrix multiplication exponent is not down to 2, but down to 2.25 (at least for complex matrices).
100
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 05/10/2026
A handful of hired grifters armed with a few cans of petrol forced a fleet of long-range bombers to retreat. A new high watermark in the history of asymmetric warfare?
000
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 02/10/2026
What they've done to the USS pension over the last decade is far worse news than this tweak to the state pension.
010
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 02/10/2026
I think the additional load that the STOC requirement would have put on arxiv would have been too much.
110
Reposted by Anuj Dawar अनुज दावर انُج داور
Clément Canonne @ccanonne.github.io · 29/09/2026
A very important message from Omer Reingold to our TCS community, especially us (arg, already) senior researchers: "snap out of it." Please, digest, and share. theorydish.blog/2026/09/29/s...
As for depression: the next time you have the urge to lament, or even celebrate, being “the last generation of human mathematicians,” perhaps keep it to yourself. Contemplating the end of your profession from the relative comfort of an established, tenured career is a privilege, and it comes with responsibilities. Senior academics are not merely individual researchers; we are stewards of our field, and we owe our junior colleagues active leadership rather than abandonment.
47321
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 28/09/2026
Proceedings of the Royal Society A is inviting applications for membership of its editorial board: royalsocietypublishing.org/rspa/pages/e... @royalsocietypublishing.org
royalsocietypublishing.org
Proceedings of the Royal Society A Editorial Board Applications | Proceedings A | The Royal Society
Proceedings of the Royal Society A Editorial Board Applications | Proceedings A | The Royal Society We welcome applications to join the Proceedings of the Royal Society A editorial board...
040
Reposted by Anuj Dawar अनुज दावर انُج داور
Royal Society Publishing @royalsocietypublishing.org · 21/09/2026
Join the #ProcA Editorial Board. We seek enthusiastic and engaged Editorial Board Members who will perform a range of valuable tasks for the journal. To apply, please submit your application by 31 October 26. Find out more: royalsocietypublishing.org/rspa/pages/e...
012
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 21/09/2026
I'm at Dagstuhl @dagstuhl.de. When we invited four speakers to give us tutorial talks at the seminar, we asked them to centre them around a major open problem in the field. That seems so 2025! www.dagstuhl.de/26391
dagstuhl.de
Dagstuhl Seminar 26391: Finite Stability Theory
040
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 20/09/2026
Some good points by @marcusdusautoy.bsky.social in this FT article, e.g. re consciousness. But what is AGI and why would it be more constrained? AI is a powerful but problematic new collaborator in mathematics - giftarticle.ft.com/giftarticle/... via @FT
giftarticle.ft.com
AI is a powerful but problematic new collaborator in mathematics
We are already witnessing the unintended consequences of algorithms realising goals with badly defined parameters and restrictions
010
Reposted by Anuj Dawar अनुज दावर انُج داور
Clément Canonne @ccanonne.github.io · 17/09/2026
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...
Policy experiments for STOC 2027: In light of rapid advances in generative AI and their impact on research and scientific communication, STOC 2027 is experimenting with several new policies intended to encourage high-quality submissions and promote clear and effective communication of research. The policies below include mandatory public posting and mandatory video submission. Detailed instructions for these two requirements will be released closer to the paper submission deadline.
44014
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 17/09/2026
Here is a graph of papers on arxiv in August. bsky.app/profile/saul...
040
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 17/09/2026
Was it Frantz Fanon who described fascism as colonialism brought home?
260
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 15/09/2026
Give humans credit for what they do. If they come up with a new proof of a theorem, they get credit for the new proof. If they crank a machine that produces a proof, they get credit for turning a handle. But the machine gets no 'credit' for the theorem. That's a category error.
020
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 14/09/2026
And the 4-to-1 conjecture also implies the approximate graph colouring conjecture!
030
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 11/09/2026
Endorsed
000
Reposted by Anuj Dawar अनुज दावर انُج داور
Terence Tao @teorth.bsky.social · 11/09/2026
A group of 25 Fields Medalists, including myself, have made a joint declaration on Math and AI: mathandai.org . We welcome additional signatories. See also this article in the Economist announcing the declaration: www.economist.com/science-and-...
mathandai.org
Declaration — Math and AI
Read the declaration and add your name.
422082937
Reposted by Anuj Dawar अनुज दावर انُج داور
Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI) @dagstuhl.de · 10/09/2026
It is time for possible Dagstuhl proposals again! Proposals can be submitted between October 15 and November 1, 2026. For links to guidelines, more details on the process, and important dates see www.dagstuhl.de/en/institute...
dagstuhl.de
Call for Proposals (Deadline November 1, 2026)
Call for Proposals (Deadline November 1, 2026)
0108
Reposted by Anuj Dawar अनुज दावर انُج داور
Cambridge Computer Science @cst.cam.ac.uk · 09/09/2026
'The promises & pitfalls of secret communication'. Our Head of Department @arberesford.bsky.social – architect of the @theguardian.com secure messaging system – discusses this in his Strachey Lecture at Oxford University @compscioxford.bsky.social on 27 October. www.eventbrite.com/e/strachey-l...
Our Head of Department, Prof Alastair Beresford, will discuss the promises and pitfalls of secret communication in his Strachey Lecture at Oxford University on 27 October 2026. The poster advertising his talk includes a photo of him below an official-looking 'Top Secret' stamp.
001
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 08/09/2026
And now the announcement from OpenAI is out. openai.com/index/navier...
openai.com
On the Navier–Stokes Millennium Prize Problem
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
011
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 06/09/2026
You have a choice of a log or a linear scale when choosing a birth year. If you choose the linear scale, the odds are very high that you get a recent birth. The log scale spreads out a bit.
000
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 02/09/2026
Hear hear. You are on the PC to provide expert opinions. AI slop is neither expert nor an opinion.
040
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 02/09/2026
Solidarity!
010
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 28/08/2026
Happy Rakhi!
130
Reposted by Anuj Dawar अनुज दावर انُج داور
Praṇay Manocha @pranman.com · 26/08/2026
This is a good overview of the specific risk to the Himalayas and why it is like nowhere else on the planet.
hir.harvard.edu
The Himalayan Climate Change: Global Warming in the Globe's Highest Region, with Dr. Pasang Sherpa
"Care and humanity are going to be the most important things moving forward. That is what keeps me optimistic. Each of us will have to do our part."
083
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 25/08/2026
Boy in the Bubble
030
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 18/08/2026
The effect that I see is that so many colleagues, especially black academics up and down the country, will be much more circumspect in what they say, for fear of setting off the baying mob. This constrains their work and is another brick in the structure of racism in academia.
010
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 18/08/2026
Most of those who joined the media pile on of Jason Arday don't care two hoots about academic standards or integrity. That much is clear from the lack of fact-checking or rigour in so much of their commentary.
130
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 16/08/2026
Walking in the Yorkshire dales
020
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 13/08/2026
The stuff about Benjamin Zephaniah is just wild. I did not know that. www.theguardian.com/commentisfre...
theguardian.com
Jason Arday is now the stick the right will use to beat back racial equality. Don’t let that happen | Afua Hirsch
The UK is far from equality in academia or society. You don’t need a Cambridge degree to see that Arday’s story is being used to stop any progress in its tracks, says journalist and academic Afua Hirs...
031
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 12/08/2026
We got a reply from the vice-chancellor. #Arday www.cam.ac.uk/notices/news...
cam.ac.uk
Statement from the Vice-Chancellor 12 August 2026
Statement from the Vice-Chancellor setting out the University's approach to an investigation into the circumstances surrounding the appointment of Jason Arday.
000
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 12/08/2026
A long post. Well worth reading in full.
000
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 11/08/2026
This is the story of industrialisation. Some artisans might sell their wares at market stalls, others learn to be cogs in the machine. Today my thoughts turned to this poem, written by my father on seeing a tangewala at Connaught Place c.1960.
हट जा रास्ते से

'दो आने में इंडिया गेट,
इंडिया गेट दो आने में'
इस बुड्ढे का गला है या टीन?

जून की दुपहरी में,
तांगे के पायदान पर,
डेढ़ टांग पर खड़ा,
एक घंटे से चिल्ला रहा है,
औ' सवारियां मिली हैं दो।
दो सवारियों से क्या मिलेगा?
चार आने में क्या बनेगा?
वापसी खाली आना है!!

उसपर, लो बस आ गई।
वे दो भी उठकर,
बस में जा बैठीं।
और हाय! फिर वही रट,
'दो आने में इंडिया गेट'।

भई तांगे वाले,
वाह रे तेरी हिम्मत के !!

पर, इस होड़ में तू जीत नहीं सकता।
तेरी आंखें से निकली
जलती चिंगारियों से,
ये बसें कया झुलस जाएंगी?
इस उड़ती-बल-खाती
राकेट की बेटी पर
ज़ोर से थूकने से
तेरा कलेजा बेशक ठंडा हो,
पर, इस से बस का क्या जाता है?
तेरा बेसुर गला फाड़ना
किस को यहां भाता है?

तेरा धंधा चलता रहे,
तेरा पेट भरता रहे,
तुम्हें किसी की हाथ बांध
चाकरी न करना पड़े -
इसीलिये बसें
एक-न-एक दिन
चलना बन्द हो जाएंगी,
कैसे हो सकता है?

आज नहीं तो कल
तुम्हीं को हटना है।

हट जा रास्ते से;
एक और बस आती है,
क्यों नाहक पिस्ता है?
हारन नहीं सुनता है?
000
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 11/08/2026
A craft passed on through countless generations from master to apprentice. A skill taking years and decades to acquire. Then someone comes along and builds a factory. The thread is broken. Skills are lost forever.
100
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 09/08/2026
At least it looks like the book tour is not going ahead. www.heraldscotland.com/news/2644840...
heraldscotland.com
110
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 08/08/2026
What do you think is going to happen to the book sales? www.simonandschuster.co.uk/books/Great-...
simonandschuster.co.uk
Great and Unfortunate Things
‘What a remarkable book by a unique and extraordinary man. I fell in love with Jason’s family, especially the incredible Giff (what a mother, what ...
110
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 07/08/2026
Listened to @priyamvadagopal.bsky.social on the Today programme this morning. A much clearer focus on the braoder issues that the Arday case raises than I heard in the long discussion yesterday. I don't agree with everything in it, but I'll put my name to the letter.
110
Reposted by Anuj Dawar अनुज दावर انُج داور
The Royal Society @royalsociety.org · 06/08/2026
The Faraday Discovery Fellowships are now open for applications, long-term awards to support talented mid-career research leaders to undertake high-quality, original research. Find out more and register for our upcoming webinar: royalsociety.org/grants/faraday-dis…
A promotional image for the Royal Society's Faraday Discovery Fellowships. On the left is text describing the scheme, and on the right is a photo of six people in front of an antique portrait.
557
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 05/08/2026
My father told me that at school he was made to memorize the 1.25 times table: sawa - dhai - paune chaar - paanch...
110
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 04/08/2026
Wow. Who knew. I must have walked past it quite a few times. Never stopped to gawp.
121
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 04/08/2026
@garymarcus.bsky.social makes some very good points here. But I'm not convinced by the one about synthetic data. Generating maths exercise sheets is one thing. Research papers quite another.
030