I wrote about OpenAI's Astra results, how AI will dissolve mathematics, and how people will cope about it: borretti.me/article/math...
Mathematics Without Mathematicians
We must know. We shall not know.
borretti.me
Jukka Suomela
@jukkasuomela.fi
Professor – Department of Computer Science, Aalto University – theory of distributed & parallel computing – https://jukkasuomela.fi
I wrote about OpenAI's Astra results, how AI will dissolve mathematics, and how people will cope about it: borretti.me/article/math...
Mathematics Without Mathematicians
We must know. We shall not know.
borretti.me
Highly recommended reading: gowers.wordpress.com/2026/07/26/t...
Thoughts about the Leiden Declaration
Last September I went to a workshop at the Lorentz Centre in Leiden to discuss mathematics and AI with historians, philosophers, computer scientists, AI researchers, and mathematicians of several d…
gowers.wordpress.com
ICALP 2027 will take place in Krakow! I will co-chair the track A program committee together with Saket Saurabh; the submission deadline for track A will be in February as usual (while track B will have two submission deadlines this time). icalp.uj.edu.pl
ICALP 2027
ICALP 2027 conference website.
icalp.uj.edu.pl
Our QuantERA project "Quantum Network Algorithms" has now open postdoc & PhD positions both at Aalto and at Inria Saclay: research.cs.aalto.fi/da/qna/
research.cs.aalto.fi
Kaisaniemen allas aidattu, kohta alkavat maalata sen pohjaa siniseksi
Our research group at Aalto University is hiring 3 postdocs + 3 doctoral students to work on distributed quantum algorithms in projects funded by an ERC Advanced Grant and a QuantERA grant. Application deadline: July 31, 2026. Start date: October 2026–October 2027 (negotiable). Apply now!
Advance information: I will be soon hiring postdocs and PhD students to work on distributed quantum algorithms, distributed quantum advantage, and quantum network algorithms! …
We should really be concerned about academic freedom in Finland. Recently, Health Minister Wille Rydman intervened in social work research funding by personally reviewing research proposals and rejecting those he deemed ”insufficiently justified given the current fiscal situation”.
Recent handbook articles relevant to #historicalsociolinguistics and #corpuslinguistics – if you need access to any of these, just let me know! (1/4)
Others are apparently also interested in distributed quantum stuff: "… using quantum networking to enable distributed quantum computing … — DONALD J. TRUMP" www.whitehouse.gov/presidential...
Ushering in the Next Frontier of Quantum Innovation
By the authority vested in me as President by the Constitution and the laws of the United States of America, it is hereby ordered: Section 1. Purpose.
whitehouse.gov
Wonderful news: Our Professor @jukkasuomela.fi has received an ERC Advanced Grant for his project “Distributed Quantum Advantage (DistQuant)”. Congratulations, Jukka! 👏💐 More: www.aalto.fi/en/news/high... @aalto.fi #ERCAdG
Highly sought-after EU funding for three Aalto University researchers | Aalto University
The projects focus on atomically precise materials-engineering, LED-based thermal management and quantum methods in distributed networks.
aalto.fi
The results of the Advanced Grants 2025 are here! Out of 3,329 applicants, 319 leading researchers have been awarded an ERC Advanced Grant. Congratulations to all! 🎉 Curious to know more ? 👉 buff.ly/uiU9x5K #ERCAdG #FrontierResearch
I'm extremely happy to share that I received an ERC Advanced Grant 2025 (≈ 2.4 M€) for my project "Distributed Quantum Advantage"…
The results of the Advanced Grants 2025 are here! Out of 3,329 applicants, 319 leading researchers have been awarded an ERC Advanced Grant. Congratulations to all! 🎉 Curious to know more ? 👉 buff.ly/uiU9x5K #ERCAdG #FrontierResearch
This has to receive the award of the cryptic error message of the year: my bibtex was saying just "3 is a bad bad" and nothing else. And this is apparently a feature; this is how it tries to communicate to the user "your max_print_line setting is too large". tex.stackexchange.com/questions/70...
Why am I getting a `3 is a bad bad` error?
After upgrading from TeX Live 2022 to TeX Live 2023, when running bibtex, bibtex8, or bibtexu in TeX Live 2023, I get this error for any input file: 3 is a bad bad bibtex does not produce any outp...
tex.stackexchange.com
Noga Alon, Thomas F. Bloom, W. T. Gowers, Daniel Litt, Will Sawin, Arul Shankar, Jacob Tsimerman, Victor Wang, Melanie Matchett Wood: Remarks on the disproof of the unit distance conjecture https://arxiv.org/abs/2605.20695 https://arxiv.org/pdf/2605.20695 https://arxiv.org/html/2605.20695
Good decision and statement! 👏👏 "(...) preserving the integrity and reliability of the ACL proceedings is our responsibility and these measures are necessary to uphold the standards of our community and to ensure that the work published remains a credible resource for future scientific inquiry."
ACL Statement on Desk Rejecting Papers with Hallucinated References
Official website for the 64th Annual Meeting of the Association for Computational Linguistics
2026.aclweb.org
We are implementing a similar policy at @arxiv.bsky.social. If there is incontrovertible evidence of LLM slop in a paper, this means the authors did not take the time to read the LLM output and we can't trust anything else in the paper. Penalty is 1 year ban from arXiv followed by...
If you try to compile this code with GCC 15 using "g++-15 -Wall -fopenmp" and run the program, what happens? (a) Error: not enough for loops to collapse (b) Code compiles & runs & prints out 100 (c) … prints out 10000 (d) … prints out something that depends on the number of threads (e) Other, what?
"This might be the largest product recall in memory—we sold a bogus idea of math to billions of people, and the bill is coming due." davidbessis.substack.com/p/the-fall-o...
The fall of the theorem economy
How AI could destroy mathematics and barely touch it
davidbessis.substack.com
Helsinki Algorithms & Theory Days coming on August 27–28, 2026! algorithms.fi
HALT · Helsinki Algorithms & Theory
algorithms.fi
We will present this chatbot+Lean project as a brief announcement in PODC 2026: arxiv.org/abs/2603.04235
2-Coloring Cycles in One Round
We show that there is a one-round randomized distributed algorithm that can 2-color cycles such that the expected fraction of monochromatic edges is less than 0.24118. We also show that a one-round al...
arxiv.org