#AIMathematics
LightNews LightNews
airanked.bsky.social
GPT-next Erdős Problem — A $1000 AI model just solved an 80-year-old math problem, redefining AI & math boundaries

Read more →

#GPTNext #ErdosProblem #AIMathematics
GPT-next Erdős Problem
A $1000 AI model just solved an 80-year-old math problem, redefining AI & math boundaries
airanked.dev
May 21, 2026 at 8:00 AM
philippeblankert.bsky.social
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)
May 28, 2025 at 10:24 PM
aidailypost.com
Anthropic's secret AI model reportedly cracked a piece of the Riemann Hypothesis—using sub‑agents to tackle deep math. Could this be the first AI‑driven proof? Dive into the details of the unreleased breakthrough. #Anthropic #RiemannHypothesis #AIMathematics

🔗 aidailypost.com/news/anthrop...
August 11, 2026 at 5:17 PM
erlangenai.bsky.social
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
The Erlangen Express Issue 7 - December 2025
tinyurl.com
December 18, 2025 at 2:50 PM
umbralcuboids.com
Or, closer to home Aimathematics and Aiphysics, in which entire branches of math and physics are developed by extremely far advanced AI on supercomputers. So advanced that we cannot hope to comprehend it as humans.
umbralcuboids.com chung van gog @umbralcuboids.com · Oct 19
If this sounds unlikely to you, imagine that humans eventually manage to communicate with advanced aliens. And they would give us useful knowledge that might, eg, be used to design rockets.

This might lead to a discipline called alienetics!
October 19, 2025 at 2:20 PM
philippeblankert.bsky.social
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
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 — ...
www.linkedin.com
May 29, 2025 at 7:29 PM
mathprofcarrie.bsky.social
Latinx in math network at @AIMathematics Awesome. 2 days barely scratched the surface. Lots of work ahead.
November 25, 2024 at 10:14 AM
valeriolembo.bsky.social
An amazing opportunity for undergraduate and graduate students funded by @AIMathematics and @NSF! https://t.co/GOm7B3n8lR
November 14, 2024 at 7:45 PM
ai-latestnews.bsky.social
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
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.
www.nature.com
November 13, 2025 at 10:52 AM