#MathAndAI
Like many others I was feeling the lack of a platform where the full spectrum of opinions (in particular also lesser heard voices) on "math and AI" may get an audience.
Now here it is! Think about contributing and share it widely!

proofsandprompts.com
#math #mathsky #llm #AI #mathandai
Proofs and Prompts
Notes from the common room
proofsandprompts.com
August 10, 2026 at 2:01 PM
Rumeurs: une IA aurait démontré que zeta(5) est irrationnel.
Souvenir de l'époque où mon prof à Caen, Roger Apéry, avait montré que zeta(3) est irrationnel.
#maths #AI #mathai #MathAndAI
September 23, 2026 at 7:13 AM
"I always knew that the general public had a flawed perception of mathematics, but never expected this to become an existential threat for the discipline itself."

Agree with @davidbessis.bsky.social on this point....

#mathsky #math #mathandAI
1/2
May 28, 2026 at 12:51 PM
Got the best compliment today!

We ran a somewhat experimental interactive student seminar on combinatorial questions in pure math vs. machine learning this summer. (learn more about it here: web.mathi.uni-heidelberg.de/ggt/ss26-mlm...)

1/2 #math #teaching #students #mathandAI #mathsky
Machine Learning Discrete Mathematics | Geometry Group Theory | Heidelberg University
web.mathi.uni-heidelberg.de
July 14, 2026 at 2:16 PM
The final session of this seminar (web.mathi.uni-heidelberg.de/ggt/ss26-mlm...) was today and one of the students said:
"This [seminar] actually mad me enjoy mathematics again!" --- I mean - what else could I ask for?

2/2 #math #mathsky #mathandAI #students #teachingmath
Machine Learning Discrete Mathematics | Geometry Group Theory | Heidelberg University
web.mathi.uni-heidelberg.de
July 14, 2026 at 2:17 PM
... and there are so many other thoughts in there I still need to digest. Go read the full article on "The fall of the theorem economy" by @davidbessis.bsky.social here:

davidbessis.substack.com/p/the-fall-o...

Which thought could you connect to?
#MathSky #MathAndAI #mathematics
The fall of the theorem economy
How AI could destroy mathematics and barely touch it
davidbessis.substack.com
May 28, 2026 at 12:55 PM
Have you noticed the cultural gap between mathematics and AI? Share your thoughts on how they can bridge this divide! #MathAndAI

https://news.ycombinator.com/item?id=43344703
The cultural divide between mathematics and AI | Hacker News
news.ycombinator.com
March 13, 2025 at 4:52 PM