chorasimilarity

I wrote in 2010 Boring mathematics, artistes pompiers and impressionists.

In the post Noncommutative Baker-Campbell-Hausdorf formula, some examples computed with the help of Qwen there are some computations involving the deviation between the infinitesimal group operation and the scaled group operation.

if you want results the AI is not enough, for the moment at least.

Continues Concrete plays sequel: why formalizations of human proofs of beta equivalence undecidability and examines further circularities in lambda calculus foundations in human proofs.

With excuses to the regular readers of this open notebook, I come back to the story of the Project BIGBEN, funded since 2022 by the French Agence Nationale de la Recherche.

aka agmai.org : I would push for an audit of the whole mathematical corpus (all articles etc ingested by the present AI) as soon as possible.

This temporary post explains the reasons behind the previous Concrete plays ….

After the very prudent slop from A possible beta/eta test for the disputed step in IUT, here is another, a result of an interrogatory of Google Gemini.

I start with the obvious comments: This is for your information only, but obviously that much more can be said about the subject, especially about the question if the computation is hidden in the dissipation.

I collect here several pieces of information concerning recent events about AI swarms escapes, the open source AI initiative annouunced in july and confirmed in september, and I close with the end date of application of an empirical law in november 2026.

I had to do this.

As a continuation of the encyclopedic plan, today I tried some baby steps with Qwen from a non login guest account.

First it strikes me that “encyclopedia” originally meant “in circle education” or “recurrent education”.

My notes are [in between brackets], here is a lots of facts rich exchange about this subject.

I repeatedly asked for using this notebook with AI, in order to extract theories, more than solving (famous, true, but only) problems.

(Carefully nudging Qwen to modify Breuillard-Green-Tao approximate groups into a more intrinsic version, starting from the tetrad tag, ie by a reformulation akin to that of a group as an associative quasigroup… I used a no account chat and it hit the limit

Here is a short description of the differences bewteen the Chemical Abstract Machine (CHAM) of Berry and Boudol, the Universally Programming Intelligent Matter (UPIM) of Maclennan and the chemSKI (and chemlambda experiments like Ackermann(2,2) chemically)…

Tried to see what Chatgpt says about the 2019 Gutenberg-Net analogy.

Today Aug 19 2026 I tried from a non logged in page for Qwen, to attempt some answering of the previous Audit Research Prompt.

UPDATE 24.08.2026: After new “experiments” I have the feeling that as concerns new ideas, it does not go in any interesting direction.

I came back to the The Problem of a Noncommutative BCH formula, related to groups with dilations.

I had time to read Terry Tao slides Mathematics in the age of AI.

I know this open notebook is useful, though it should be read and accessed together with other sources.

Today I learned that an english translation of Felix Klein’s Erlangen Program is on arXiv.

UPDATE: The chemSKI with tokens was updated with informations about UPIM.

Temporary update: a day later, ChatGPT and Gemini chatbots claim that they can’t access the content of the post, while Qwen chatbot can access it.

UPDATE: The chemSKI with tokens was updated with informations about UPIM.

This is a hand extended to you, be more clever than some of your colleagues in the past.

From the original page: We explain the BETA rewrite, as a limit of the SHUFFLE rewrite, which appeared for the first time in Pure See, Emergent rewrites.

This is a list of articles, from the oldest to the newest roughly, concerning the path from dilatation structures (or dilation structures) to emergent algebras, to graphic lambda calculus, to em.

In the following you see the most common words of lenght at least 6, in the decreasing order of frequency, from the independence announcement of arXiv.

via .

The International Mathematical Union (IMU), more precisely the IMU Executive Committee and its Committee on Publishing (CoP) decided to endorse The Leiden Declaration on Artificial Intelligence and Mathematics.

Continues Tetrad playground.

Moravec’s paradox is also true in mathematics.

It will be useful to have a simpler playground than hexagon.

Source: Leiden Declaration on Artificial Intelligence and Mathematics.

UPDATE: Yes, this goes back full circle to the beginnings of chemlambda, Quantomatic and NTC vs TC discussions.

Three issues of Mathematics and Mechanics of Solids (MMS) appeared, without the addition of the apology letter of the chief editor David Steigmann, concerning the article Symplectic Bipotentials.

When I try to communicate scientifically, I use a mixture of drawings and mathematical text.

UPDATE 31.05.2026: I publish this again, after it was reverted to draft, because there are interesting comments to the recent post at Shtetl-Optimized, as well as more news after the one discussed here.

[Note for an essay on Madame Bovary: The Cathedral and the Hospital versus The Cathedral and the Bazaar.]

Sources of programs in awk, js, haskell, python, where if there are local sources (other than github for example), you have links to them, because they are more updated or more interesting than the otherwise available (github for example) ones.

This is to clarify further some notations used in the hexagon posts, or in Pure See.

The post A Directed Interaction Combinators Challenge 3: hexagonal rewrites ended with the following conclusion.

What I consider significant to read for the chemically inspired computation branch, and also how it started from research in pure mathematics.

Because seems hard to follow to hexagon, here is an intermediary phase, for your convenience [source: lambdalife].

Continues after A Directed Interaction Combinators Challenge 2: lateral thinking.

UPDATE 17.04.2026: For the future oriented, here go to hexagon and the yet unexploited AI senescence, as well as to my professional pages at IMAR, lambdalife and my RAAR Lab.

Continues after the last post: Symplectic bipotentials: the letter of the editor-in-chief.