conv.

← The whole story
Science
Researchers warn mechanized proofs may not survive technological change

Lead author highlights proof preservation framework

1 Sep 11 8:51 PM · 12d ago · 1 post · 1 source · development 1 of 2

One of the paper's authors promoted the work on Mastodon, emphasizing the distinction between "convincing" and "explaining" modes of proof use, framing the work as addressing both proof longevity and contemporary questions about mechanized mathematics.

“in light of recent mechanized math news, i want to re-promote the paper my colleagues and i published earlier this year about the nature of mathematical knowledge represented by mechanized proofs”

chrisamaphone@hci.social

chrisamaphone (author) Researcher, Northeastern University

The whole story posts the bright band is this development · numbered dots are the others · click one to jump

Peak 1 piece in 3h at Sep 11, 8 PM; 3 pieces over 12 days (3 posts) Sep 11, 8 PM — 1 piece · 1 post — Mastodon 1Sep 11, 11 PM — quietSep 12, 2 AM — quietSep 12, 5 AM — quietSep 12, 8 AM — quietSep 12, 11 AM — 1 piece · 1 post — Lobsters 1Sep 12, 2 PM — 1 piece · 1 post — Hacker News 1Sep 12, 5 PM — quietSep 12, 8 PM — quietSep 12, 11 PM — quietSep 13, 2 AM — quietSep 13, 5 AM — quietSep 13, 8 AM — quietSep 13, 11 AM — quietSep 13, 2 PM — quietSep 13, 5 PM — quietSep 13, 8 PM — quietSep 13, 11 PM — quietSep 14, 2 AM — quietSep 14, 5 AM — quietSep 14, 8 AM — quietSep 14, 11 AM — quietSep 14, 2 PM — quietSep 14, 5 PM — quietSep 14, 8 PM — quietSep 14, 11 PM — quietSep 15, 2 AM — quietSep 15, 5 AM — quietSep 15, 8 AM — quietSep 15, 11 AM — quietSep 15, 2 PM — quietSep 15, 5 PM — quietSep 15, 8 PM — quietSep 15, 11 PM — quietSep 16, 2 AM — quietSep 16, 5 AM — quietSep 16, 8 AM — quietSep 16, 11 AM — quietSep 16, 2 PM — quietSep 16, 5 PM — quietSep 16, 8 PM — quietSep 16, 11 PM — quietSep 17, 2 AM — quietSep 17, 5 AM — quietSep 17, 8 AM — quietSep 17, 11 AM — quietSep 17, 2 PM — quietSep 17, 5 PM — quietSep 17, 8 PM — quietSep 17, 11 PM — quietSep 18, 2 AM — quietSep 18, 5 AM — quietSep 18, 8 AM — quietSep 18, 11 AM — quietSep 18, 2 PM — quietSep 18, 5 PM — quietSep 18, 8 PM — quietSep 18, 11 PM — quietSep 19, 2 AM — quietSep 19, 5 AM — quietSep 19, 8 AM — quietSep 19, 11 AM — quietSep 19, 2 PM — quietSep 19, 5 PM — quietSep 19, 8 PM — quietSep 19, 11 PM — quietSep 20, 2 AM — quietSep 20, 5 AM — quietSep 20, 8 AM — quietSep 20, 11 AM — quietSep 20, 2 PM — quietSep 20, 5 PM — quietSep 20, 8 PM — quietSep 20, 11 PM — quietSep 21, 2 AM — quietSep 21, 5 AM — quietSep 21, 8 AM — quietSep 21, 11 AM — quietSep 21, 2 PM — quietSep 21, 5 PM — quietSep 21, 8 PM — quietSep 21, 11 PM — quietSep 22, 2 AM — quietSep 22, 5 AM — quietSep 22, 8 AM — quietSep 22, 11 AM — quietSep 22, 2 PM — quietSep 22, 5 PM — quietSep 22, 8 PM — quietSep 22, 11 PM — quietYesterday, 2 AM — quietYesterday, 5 AM — quietYesterday, 8 AM — quietYesterday, 11 AM — quietYesterday, 2 PM — quietYesterday, 5 PM — quietYesterday, 8 PM — quietYesterday, 11 PM — quietToday, 2 AM — quietToday, 5 AM — quiet 12
1Lead author highlights proof preservation…2Researchers publish paper on mechanized…
Sep 12Sep 13Sep 14Sep 15Sep 16Sep 17Sep 18Sep 19Sep 20Sep 21Sep 22now · 7:46 AM ET

What people said 1 voice · verbatim

All 2 developments of Researchers warn mechanized proofs may not survive… →

MastodonLobstersHacker News