Mastodawn

medieval #proofs 👯‍♀️

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

sayzard Feb 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)

sayzard Feb 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)

sayzard Feb 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)

💡𝚂𝗆𝖺𝗋𝗍𝗆𝖺𝗇 𝙰𝗉𝗉𝗌📱Feb 4

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! 😡

https://dotnet.social/@SmartmanApps/115207044364101854

Hacker News Jan 17

Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless

https://www.lesswrong.com/posts/rhAPh3YzhPoBNpgHg/lies-damned-lies-and-proofs-formal-methods-are-not-slopless

#HackerNews #Lies #Damned #Lies #Formal #Methods #Proofs #Technology

Lies, Damned Lies, and Proofs: Formal Methods are not Slopless — LessWrong

There's been a lot of chatter recently on HN and elsewhere about how formal verification is the obvious use-case for AI. While we broadly agree, we think much of the discourse is kinda wrong because it incorrectly presumes formal = slopless.

sayzard Jan 16

AI Notkilleveryoneism Memes (@AISafetyMemes)

Gemini의 논증이 단순히 기존 증명을 재포장한 것이 아니라, 트윗 작성자가 자신이 직접 낼 만한 수준의 통찰을 제공했다고 평가받았다는 내용입니다. 이는 Gemini 모델의 고급 추론·창의적 문제 해결 능력을 강조하는 사례입니다.

https://x.com/AISafetyMemes/status/2011873612706562230

#gemini #ai #reasoning #math #proofs

AI Notkilleveryoneism Memes ⏸️ (@AISafetyMemes) on X

"Gemini's argument was no mere repackaging of existing proofs; it was the kind of insight I would have been proud to produce myself." https://t.co/LlXdUEM1K5

X (formerly Twitter)

jnpn Jan 2

fun book http://concrete-semantics.org/

(pdf available)

found on this thread https://lobste.rs/s/eulydi/which_programming_resource_changed_your

#semantics #proofs #isabelle

Concrete Semantics

bLogic.ink Dec 5

Robbe Van den Eede shares insights on #proofs and their role in #logic-based languages for #KnowledgeRepresentation, discussing the paper “A Sequent Calculus for Generalized Inductive Definitions”, co-authored with Robbe Van Biervliet and Marc Denecker, which received the Best Paper Award at LPNMR 2024.

https://blogic.ink/p/a-sequent-calculus-for-general-inductive-definitions/

A Sequent Calculus for General Inductive Definitions

Robbe Van den Eede

bLogic.ink