The Erlangen Express Issue 7 - December 2025

The December edition of The Erlangen Express is out now.

This month we highlight research at NeurIPS and CDC, celebrate three PhD defences, welcome new colleagues, and share upcoming events for 2026.

Read it here: tinyurl.com/2psa9zms

#AI, #AIMathematics, #NeurIPS2025

Mathematicians put AI model AlphaProof to the test Mathematicians use computational tools to prove theorems. An AI model that is trained to use these tools might accelerate mathematical discovery.

Can AI like AlphaProof revolutionize how we approach mathematical proofs? Discover its potential impact on the future of math! #AIMathematics

https://www.nature.com/articles/d41586-025-03585-5

Trace Curvature Operator and Asymmetrical Geometry in a Unified Mathematical Framework - for non specialists Here an explanation for non-specialists: ---------------------- What is the Trace Curvature Operator? The Trace Curvature Operator is a new mathematical idea that helps us measure how much a system — ...

Reached the top!

Here is my easy explanation:
🔗 www.linkedin.com/pulse/trace-...

And here is the scientific PDF (just 2 pages):
📄 www.researchgate.net/publication/...

#Ai #AIMathematics #Mathematics

I am happy to have spoken more AI fans, tonight on a self organised Meet5 AI meeting, and that my book project 'Mathematical Theory of Everything' goes fine in Latex. I am mastering Latex (in Overleaf) better and better.

#AI #AImathematics #Mathematics (using hashtags to find like interested)