Nikitas Sotiropoulos1d ago
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)
sayzardFeb 14

Kevin Weil (@kevinweil)

AI 수학 분야에서 'First Proof' 챌린지가 훌륭한 아이디어였으며 결과를 기대한다고 밝힘. 또한 OpenAI의 제출물에 대해 @merettm의 해설(색깔 있는 설명)이 훌륭했다고 언급함.

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

#ai #mathematics #openai #competition #proofs

Kevin Weil 🇺🇸 (@kevinweil) on X

AI 🤝 Mathematics. The First Proof challenge was a great idea and I'm looking forward to seeing the results! Great color on OpenAI's submission from @merettm below 👇

X (formerly Twitter)