Our next featured creator has done creative work with maths). Does maths ever feature in any way in your creative work?
Uhhmmm.... Yes! In two of my works in progress a major character is a mathematician. In the more serious of the two, the narrator-protagonist, Dante Rory, is a professor of mathematics with a keen interest in cryptography and cryptanalysis. That's *mostly* tangential to the plot, but it's an important part of establishing his character.
Doki Doki Mathematics Club
Eine ganze Stunde habe ich übrigens damit verbracht, herauszufinden, dass das 
-Paket von yafu es schafft, eine Version zu bauen die im Prinzip funktioniert aber manchmal segfaults rauswirft.
Das muss ich nun auch noch reporten, aber das ist wohl unmaintained: https://packages.gentoo.org/packages/sci-mathematics/yafu
Vor 10 Jahren war ich mal Maintainer von vielen sci-mathematics Paketen dort, aber der Tag hat nicht genug Stunden. 🙃
Zum Glück war ⚽️ super langweilig.
I was just reminded of a funny moment in my Year 7 #Mathematics class yesterday. We were covering ratioes, and I didn't hear it, but apparently one of the kids asked what "ratioed" meant. I heard some of the banter, so I explained, complete with board illustrations, what ratioed meant, upon which one of the kids said "OMG!
A group of 16 mathematicians publishes the Leiden Declaration on AI and Mathematics to address threats to the field, citing accuracy and reliability concerns (Siobhan Roberts/New York Times)
https://www.nytimes.com/2026/06/0…
This is impressive:
an AI model has disproved an 80-year-old conjecture by Paul Erdős.
“The proof came from a new general-purpose reasoning model,
rather than from a system trained specifically for mathematics.”
https://kottke.org/26/05/0049001-an-ai-model-has-d…
In any case. If problems can be solved by the push of a button, and mathematics really is more than just cracking the problems, then people will start keeping their problems very well guarded.
We used to speak very openly about our ideas and also conjectures, and that may come to an end now. This will be a cultural shift.
The cool proof was the resource and people kept their attempts secret. Now the cool problem becomes the resource, so people will keep their definitions and ideas secret.
from my link log —
A revolution in mathematics? What really happened a century ago and why it matters today (2012).
https://www.ams.org/notices/201201/rtx120100031p.pdf
saved 2026-05-20
1/5
#MathsMonday
This week I will debunk several false claims made about brackets in #Mathematics on socials - there are several! Actually it's easy to just check for yourself, at
Terence @… has this analogy of how in research mathematics we move from proof scarcity to proof abundance. I think we also will move from problem abundance to problem scarcity. 🧵
Recently not one but two proofs of a counterexample to the Gröbner version of White's conjecture appeared. Both use SAT/SMT solvers to show that the Fano matroid is a counterexample!
1/ De Loera, Ferroni, Morales, Rambau, "There are matroid toric ideals without quadratic Gröbner bases": https://arxiv.org/abs/2606.11014
One of my students pulled generalized complex number for doing a rotation in an exam. I am, on one side, greatly confused by how they got the idea. And on the other side deeply glad that someone found the rusty shank of mathematics hidden in the drawer
I am not a mathematician (not even close) but I found this to be a fascinating article.
#ai
According to Xin Zhi Yuan reports,
the list of 2026 Fields Medal winners has been unexpectedly leaked.
Two Peking University alumni, Wang Hong and Deng Yu, are both on the list
— marking the first time Chinese mathematicians will claim the highest honor in mathematics in the same edition.
Someone discovered four Fields Medal laureate lecture fields marked “HIDDEN” in the front-end code of the ICM 2026 official schedule.
A single curl command generated by Codex c…
Crosslisted article(s) found for cs.PF. https://arxiv.org/list/cs.PF/new
[1/1]:
- Attention at the Theoretical Minimum: A Mathematics of Arrays Framework for Memory-Optimal Transf...
Lenore Mullin, Gaetan Hains
https://arxiv.org/abs/2606.07713 https://mastoxiv.page/@arXiv_csLG_bot/116719339788828558
- An Empirical Comparison of General Context-Free Parsers
Huan Vo, Danushka Liyanage, Hong Jin Kang, Sasha Rubin, Rahul Gopinath
https://arxiv.org/abs/2606.08465 https://mastoxiv.page/@arXiv_csFL_bot/116718996893368453
- Fairness-Aware and Latency-Controllable Scheduling for Chunked-Prefill LLM Serving
Haoxin Liu, Jiayi Wang, Yueshen Xu, Rui Li
https://arxiv.org/abs/2606.09061 https://mastoxiv.page/@arXiv_csDC_bot/116719152021398104
- Correlation Is Not Enough: Embedding Human Metadata for Individual Causal Discovery
Suraj Biswas, Saurabh Gupta, Pritam Mukherjee
https://arxiv.org/abs/2606.09672 https://mastoxiv.page/@arXiv_csAI_bot/116719417844314505
- AutoMegaKernel: A Statically-Checked Agent Harness for Self-Retargeting Megakernel Synthesis
Jaber Jaber, Osama Jaber
https://arxiv.org/abs/2606.09682 https://mastoxiv.page/@arXiv_csLG_bot/116719454809500736
- An 84-Format Numeric Catalog with Bit-Exact Conformance Vectors: A Vendor-Neutral Reference for F...
Dmitrii Vasilev
https://arxiv.org/abs/2606.09686 https://mastoxiv.page/@arXiv_csAR_bot/116718979590686345
toXiv_bot_toot
1/3
#MathsMonday #Math
I've seen 2 people in #Mathematics claim recently that we can't prove that a b=b a - the Commutative Property - and that we just accept it as true. Nope, not only…
I've been struck by the way in which obscure mathematical work of little if any practical value has been the subject of a massive publicity campaign.
Why do people seem to want to talk about how AI has solved some Erdos problems?
Reading the newspaper financial pages I think provides the answer to this.
In today’s New York Times or Wall Street Journal, you can read about the upcoming trillion-dollar IPOs of OpenAI and Anthropic.
Hundreds and hundreds of billion…
Distributive Laws for Parallel Composition in Rely-Guarantee Concurrency
Ian J. Hayes, Larissa A. Meinicke
https://arxiv.org/abs/2607.17536 https://arxiv.org/pdf/2607.17536 https://arxiv.org/html/2607.17536
arXiv:2607.17536v1 Announce Type: new
Abstract: The rely/guarantee approach supports the stepwise development of concurrent programs. Our goal is to develop a theory for reasoning algebraically about concurrent programs in a rely/guarantee style, where rely and guarantee conditions are encoding as commands within our theory. As for mathematics, distributive laws are essential for algebraic manipulation of concurrent programs. In this paper we investigate distributive laws for parallel composition and show how these can be applied to rely/guarantee concurrency. The most general distributive laws are only refinements in a single direction, however, by restricting the form of the command being distributed, one can devise stronger equality laws, which are applicable to guarantee commands as well as to suitable combinations of rely and guarantee commands. Our approach is to develop the distributive laws in a more abstract synchronous atomic algebra, and then apply them to an instance of that algebra supporting rely and guarantee commands. The theory has been formalised in Isabelle/HOL along with proofs of the lemmas presented here.
toXiv_bot_toot
RE: #Mathematics, what for?
1/4
#MathsMonday #Mathematics #Math
This week a note about the rules of #Maths, but first, the pict…
RE: https://mathstodon.xyz/@dougmerritt/116698473995469450
Die ganzen Zahlen hat der liebe Gott gemacht, alles andere ist Menschenwerk.
(The dear God has made the whole numbers, all the rest is man's work.)
— Leopold Kronecker
Speech at the Berlin meeting of the Society of German Scientists and Doctors in 1886, published in Jahreshericht der Deutschen Mathematiker-Vereinigung. Trans. obituary of Kronecker by H. E. Weber, Year Book of the Gennan Mathematics Association, 1893,
It's not even clear what these people even want from us? Academic recognition? Co-Authorship on some follow-up paper? A cookie?
I think behind all this is a gross misunderstanding of how mathematics works and what the day-to-day conjectures in our papers mean.
They are not huge prizes like Jacobian conjecture or similar but they would serve as a little prize for the humans (often students!) who do point 2.
What do we do now? Keep our conjectures for ourselves? 2/2
https://thomas-kahle.de/blog/2026/just-42-tells-us-nothing/
New blog post with Mateusz Michalek!
Impressed by the recent multiplication of great mathematical results we ask what this means for the community, e.g. prize or hiring committees.
Before AI a breakthrough paper also testified that the authors are experts in a certain area. That is certainly gone and it will have possibly disastrous consequences for the merit system of mathematics.
We are very curious to hear your thoughts on how to assign academic credit nowadays!
https://thomas-kahle.de/blog/2026/just-42-tells-us-nothing/
After all old mathematics has been put into the AI slot machine, we will have a clearer picture of what is hard and what is just a language game and that could be interesting too.
But I still wonder who will still put out conjectures in this future. So if you want to solve one yourself, better hurry up. We might run out of people who openly conjecture something.
End.
I share Linus Torvalds perspective on AI and I raise from OSS projects to #math. Same principles apply in my opinion. We do math because in mathematics there is no ignorabimus as Hilbert said. There is no religion that dictates how math should be done.
https://lore.kernel.org/linux-media/CAHk-=wi4zC Ze8e p3tMv8TtG_80KzsZ1syL9anBtmEh5Z40vg@mail.gmail.com/
What we see instead is the terrible uses of tech that make astronomical amounts of profits by surveillance and manipulation.
I am very happy that at least an attempt is made by mathematics to declare that we can be better than this and that we want to better than this.
We want to protect the integrity of mathematics, we want to inform ourselves, we don't want to close our eyes. Etc.
I can't express this better than reposting the recommendations from the declaration!
3/n
Wanted to report on my (concluded!) auto-formalization #lean project.
The blog post got a bit lengthy and it is only part 1: "What actually happened?"
It took about 2 months to go from zero to a full lean formalization of a paper of mine. I only steered the LLMs and checked the interface to human mathematics (statements and definitions).
I am positively surprised and I do think this will change (my) research math. Ask me anything about it!
#llm #claude
I fully support the Leiden Declaration (and have signed it)
https://leidendeclaration.ai/
In the past months I've come to the conclusion that the biggest danger with AI is that it is simply not used for good, but for lazyness and cutting corners.
This is exactly the opposite of what we need in science and mathematics. I would hope that new technology would be used to do something great, something that is better than what would be possible without the technology.
🧵1/n
At the faculty of #mathematics at #OvGU we are seeking to fill two professorship in the broadly defined area of statistics:
W2 Applied Stats and Data Science: #jobs #mathjobs
@simon_brooke@mastodon.scot
