sayzardKevin Weil (@kevinweil)
AI가 더 많은 미해결 문제를 해결하는 데 그치지 않고, 모델이 발전할수록 증명도 더 우아해지고 있다고 언급한다. AI 추론 능력과 수학적 증명 생성의 질이 함께 향상되고 있음을 시사하는 내용이다.
Hacker NewsIn Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?
#HackerNews #Math #Rigor #Digitized #Proofs #Mathematics #Education #Digital #Innovations
Soh Kam Yung"How do we balance the creativity needed to discover new mathematical connections with the rigor needed to ensure that every logical step is undeniable?"
Paul Healey@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 zornetta
Piia BartosPhew, 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
Kimon Fountoulakis (@kfountou)
작성자는 해당 결과가 진정한 일반화였는지, 어떤 의미에서 일반화인지 의문을 제기합니다. 사람들이 'first proof'라 말할 때 보통 문헌에서 완전한 종단 간(end-to-end) 증명을 스스로 찾지 못했을 뿐 핵심 단계들은 이미 존재했을 가능성이 크다고 지적하며, '첫 증명'의 정의와 주장 검증의 중요성을 강조합니다.
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.
Yang Liu (@yangpliu)
해당 증명의 주요 아이디어는 본래 arXiv:0808.0163 및 arXiv:0911.1114에서 비롯되었다고 밝히며, 이 분야 연구자들에게는 이 참조들이 자명하다고 주장합니다. 따라서 이 해결책을 '새로운 아이디어'라고 부르기보다는 기존 연구의 인상적인 종합으로 보는 편이 적절하다고 평가합니다.
Kevin Weil (@kevinweil)
AI 수학 분야에서 'First Proof' 챌린지가 훌륭한 아이디어였으며 결과를 기대한다고 밝힘. 또한 OpenAI의 제출물에 대해 @merettm의 해설(색깔 있는 설명)이 훌륭했다고 언급함.
💡𝚂𝗆𝖺𝗋𝗍𝗆𝖺𝗇 𝙰𝗉𝗉𝗌📱Blocked by person refusing to believe a #Mathematics #textbook and #proofs because of a random #Wikipedia article that doesn't cite any Maths textbooks, and in fact has proofs in it that actually contradict the conclusion! (the series 0.1, 0.01, 0.001, 0.0001,... never reaches zero, even as the series approaches infinity - it's a hyperbola with an asymptote of 0 - which you think would be self-evident, and yet here we are) Welcome to the #disinformation age! 😡
