Dennis Alexis Valin DittrichApr 29
AI could destroy mathematics and barely touch it
https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy
#AI challenges the "theorem economy" by automating #proofs while overlooking human intuition. Bessis argues that math's true product is understanding, not just results, which AI cannot yet replicate. The discipline's focus on theorems over concepts makes it vulnerable to machines that solve problems without building meaning. To remain relevant, mathematicians must emphasize the field's role in human sense-making rather than competitive symbol-pushing. Success depends on valuing the process of cognitive elevation and the creation of shared conceptual language.
#mathematics #philosophy
The fall of the theorem economy

How AI could destroy mathematics and barely touch it

David Bessis
Nikitas SotiropoulosApr 17
Season 2, Episode 9 is live.
Estimates behave, contours close, and a late‑night mistake gets fixed the right way.
Mathematics in motion not just results, but refinement.
#Mathematics #Proofs #LearningInPublic
https://cortexdrifter.blogspot.com/2026/04/a-small-taste-from-my-new-book-season-2_17.html
A Small Taste from My New Book: Season 2 Episode 9

Explorations in analytic number theory, asymptotic analysis, and unsolved problems, written by a mathematician and software engineer.

sayzardApr 2

Kevin Weil (@kevinweil)

AI가 더 많은 미해결 문제를 해결하는 데 그치지 않고, 모델이 발전할수록 증명도 더 우아해지고 있다고 언급한다. AI 추론 능력과 수학적 증명 생성의 질이 함께 향상되고 있음을 시사하는 내용이다.

https://x.com/kevinweil/status/2039200605672284572

#ai #reasoning #math #proofs #llm

Kevin Weil 🇺🇸 (@kevinweil) on X

Not only is AI solving more open problems—its proofs are getting more elegant as the models improve

X (formerly Twitter)
Hacker NewsMar 30

In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?

https://www.quantamagazine.org/in-math-rigor-is-vital-but-are-digitized-proofs-taking-it-too-far-20260325/

#HackerNews #Math #Rigor #Digitized #Proofs #Mathematics #Education #Digital #Innovations

In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far? | Quanta Magazine

The quest to make mathematics rigorous has a long and spotty history — one mathematicians can learn from as they push to formalize everything in the computer program Lean.

Quanta Magazine
Soh Kam YungMar 27

"How do we balance the creativity needed to discover new mathematical connections with the rigor needed to ensure that every logical step is undeniable?"

https://www.quantamagazine.org/in-math-rigor-is-vital-but-are-digitized-proofs-taking-it-too-far-20260325/

#Mathematics #Formal #Proofs #Computers #Lean

In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far? | Quanta Magazine

The quest to make mathematics rigorous has a long and spotty history — one mathematicians can learn from as they push to formalize everything in the computer program Lean.

Quanta Magazine
Show threadPaul HealeyMar 23
@urlyman Others might hold that there is a confluence between the limits of Algorithmic Information; the modelling of digital and analogue processes and Information Algorithms; the reasons for the effective and beneficial processing of properties states. With no proof, are LLMs and quantum computers not just the projection and gaslighting of abstract relations and the reductionist predication of presuppositions? #Models #Proofs #Algorithms #Information #QuantumComputers #LLM #PhilosophyOfAlgorithms
giulia zornettaMar 18
medieval #proofs 👯‍♀️
Piia BartosFeb 17

Phew, managed to read through the proofs of an article today. Was a bit tight, only had 15 mins of working time left. It always tends to take longer than expected.

#proofs #publishing #AcademicChatter #AcademicFedi #manuscript #science #research

sayzardFeb 15

Kimon Fountoulakis (@kfountou)

작성자는 해당 결과가 진정한 일반화였는지, 어떤 의미에서 일반화인지 의문을 제기합니다. 사람들이 'first proof'라 말할 때 보통 문헌에서 완전한 종단 간(end-to-end) 증명을 스스로 찾지 못했을 뿐 핵심 단계들은 이미 존재했을 가능성이 크다고 지적하며, '첫 증명'의 정의와 주장 검증의 중요성을 강조합니다.

https://x.com/kfountou/status/2022670003191902263

#research #proofs #ai #firstproof

Kimon Fountoulakis (@kfountou) on X

@harshit_sikchi Well, was it really a generalization? And if so, in what sense? I think we are about to see that when humans say “first proof”, they usually mean they couldn’t find the complete end-to-end proof in the literature themselves, even though core steps might already exist.

X (formerly Twitter)
sayzardFeb 15

Yang Liu (@yangpliu)

해당 증명의 주요 아이디어는 본래 arXiv:0808.0163 및 arXiv:0911.1114에서 비롯되었다고 밝히며, 이 분야 연구자들에게는 이 참조들이 자명하다고 주장합니다. 따라서 이 해결책을 '새로운 아이디어'라고 부르기보다는 기존 연구의 인상적인 종합으로 보는 편이 적절하다고 평가합니다.

https://x.com/yangpliu/status/2022690163923583114

#arxiv #research #proofs #math

Yang Liu (@yangpliu) on X

The proof’s main ideas are essentially from arXiv:0808.0163 and arXiv:0911.1114. For those in this area, these are the obvious references, so I wouldn’t call this solution “new ideas”—it’s an impressive synthesis of existing work.

X (formerly Twitter)