#mathandAI
LightNews LightNews
petraschwer.bsky.social
Has there never been a better time to go into math than now?

youtu.be/LKrwhjOI8Nc?...

#math #mathandAI #maths #mathsky
There's never been a better time to go into math
YouTube video by 3Blue1Brown
youtu.be
October 20, 2026 at 3:33 PM
purescience.news
Can math stay human in the age of AI? #Science #Mathematics #mathandai #deepmindstudy #mathematicalproofs #humancognition #aiethics

https://purescience.news/read?id=236182423568646144
Can math stay human in the age of AI?
As AI churns out mathematical proofs, a DeepMind study raises a bigger question: What do we lose when we focus only on the answers?
purescience.news
October 14, 2026 at 6:08 PM
petraschwer.bsky.social
Interested in what members of the mathematical community think on the recent release of hundreds of preprints on openproblems? I recommend reading the snapshot of immediate reactions collected on proofs and prompts!

proofsandprompts.com/2026/10/08/1...

#math #mathAndAI #mathsky #mathematics
100+ reactions to 100+ solutions
“We are all grappling with the announcement of 6 October. We think that it is useful to have a snapshot of the community’s gut feeling today, and this is what you see below. We will keep it o…
proofsandprompts.com
October 9, 2026 at 10:50 AM
darkuncle.infosec.exchange.ap.brid.gy
@JoshuaACNewman 100% this, and see also my thread from a couple days ago on the topic https://infosec.exchange/@darkuncle/117402298322680287
Scott Francis (@darkuncle@infosec.exchange)
Attached: 1 image *sigh* rather than seriously considering the MathAndAI dot org declaration from 28 Fields Medal winners (including Terry Tao), OpenAI just plowed ahead full-steam and released another 372 major results in mathematics around unsolved problems (although the proofs are reportedly nearly impossible to independently understand—but verification via Lean appears to be included for many—and read like the author was stoned). I will tap the sign, once again, even though none of the AI companies are paying any attention. #maths #mathematics https://scottaaronson.blog/?p=10169
infosec.exchange
October 9, 2026 at 4:57 PM
darkuncle.infosec.exchange.ap.brid.gy
*sigh* rather than seriously considering the MathAndAI dot org declaration from 28 Fields Medal winners (including Terry Tao), OpenAI just plowed ahead full-steam and released another 372 major results in mathematics around unsolved problems (although the […]

[Original post on infosec.exchange]
“Don’t make me tap the sign” meme sign reads: “the value is in the process, not just the outcome”
October 7, 2026 at 11:48 PM
ppeccatte.bsky.social
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
petraschwer.bsky.social
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
petraschwer.bsky.social
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
petraschwer.bsky.social
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
petraschwer.bsky.social
... 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
petraschwer.bsky.social
"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
ai-latestnews.bsky.social
How is AI transforming mathematics? Discover Terry Tao's role in merging technology with math innovation! #MathAndAI

https://www.quantamagazine.org/how-terry-tao-became-an-evangelist-for-ai-in-math-20260608/
How Terry Tao Became an Evangelist for AI in Math | Quanta Magazine
With automated proof checkers, a problem can be broken up into small chunks, solved bit by bit, then reassembled with confidence that every piece is correct. For some, this heralds a new area in mathematical research.
www.quantamagazine.org
June 9, 2026 at 8:52 AM
ai-latestnews.bsky.social
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