conv.

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

Researchers publish paper on mechanized proof longevity

2 Sep 12 · 12d ago · 2 posts · 2 sources · development 2 of 2

A paper titled "Is truth futureproof? On the possible futures of mechanized proofs" was published, examining how interactive theorem provers create mechanized proofs that risk degradation over time as software ages, potentially hindering reproduction of mathematical knowledge.

“Interactive theorem provers play increasingly important roles in the programming languages and mathematics communities, resulting in a large body of mechanized proofs that bear witness to mathematical knowledge.”

Paper abstract · lobsters ↗

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, 7 PM; 3 pieces over 13 days (3 posts) Sep 11, 7 PM — 1 piece · 1 post — Mastodon 1Sep 11, 10 PM — quietSep 12, 1 AM — quietSep 12, 4 AM — quietSep 12, 7 AM — quietSep 12, 10 AM — 1 piece · 1 post — Lobsters 1Sep 12, 1 PM — 1 piece · 1 post — Hacker News 1Sep 12, 4 PM — quietSep 12, 7 PM — quietSep 12, 10 PM — quietSep 13, 1 AM — quietSep 13, 4 AM — quietSep 13, 7 AM — quietSep 13, 10 AM — quietSep 13, 1 PM — quietSep 13, 4 PM — quietSep 13, 7 PM — quietSep 13, 10 PM — quietSep 14, 1 AM — quietSep 14, 4 AM — quietSep 14, 7 AM — quietSep 14, 10 AM — quietSep 14, 1 PM — quietSep 14, 4 PM — quietSep 14, 7 PM — quietSep 14, 10 PM — quietSep 15, 1 AM — quietSep 15, 4 AM — quietSep 15, 7 AM — quietSep 15, 10 AM — quietSep 15, 1 PM — quietSep 15, 4 PM — quietSep 15, 7 PM — quietSep 15, 10 PM — quietSep 16, 1 AM — quietSep 16, 4 AM — quietSep 16, 7 AM — quietSep 16, 10 AM — quietSep 16, 1 PM — quietSep 16, 4 PM — quietSep 16, 7 PM — quietSep 16, 10 PM — quietSep 17, 1 AM — quietSep 17, 4 AM — quietSep 17, 7 AM — quietSep 17, 10 AM — quietSep 17, 1 PM — quietSep 17, 4 PM — quietSep 17, 7 PM — quietSep 17, 10 PM — quietSep 18, 1 AM — quietSep 18, 4 AM — quietSep 18, 7 AM — quietSep 18, 10 AM — quietSep 18, 1 PM — quietSep 18, 4 PM — quietSep 18, 7 PM — quietSep 18, 10 PM — quietSep 19, 1 AM — quietSep 19, 4 AM — quietSep 19, 7 AM — quietSep 19, 10 AM — quietSep 19, 1 PM — quietSep 19, 4 PM — quietSep 19, 7 PM — quietSep 19, 10 PM — quietSep 20, 1 AM — quietSep 20, 4 AM — quietSep 20, 7 AM — quietSep 20, 10 AM — quietSep 20, 1 PM — quietSep 20, 4 PM — quietSep 20, 7 PM — quietSep 20, 10 PM — quietSep 21, 1 AM — quietSep 21, 4 AM — quietSep 21, 7 AM — quietSep 21, 10 AM — quietSep 21, 1 PM — quietSep 21, 4 PM — quietSep 21, 7 PM — quietSep 21, 10 PM — quietSep 22, 1 AM — quietSep 22, 4 AM — quietSep 22, 7 AM — quietSep 22, 10 AM — quietSep 22, 1 PM — quietSep 22, 4 PM — quietSep 22, 7 PM — quietSep 22, 10 PM — quietYesterday, 1 AM — quietYesterday, 4 AM — quietYesterday, 7 AM — quietYesterday, 10 AM — quietYesterday, 1 PM — quietYesterday, 4 PM — quietYesterday, 7 PM — quietYesterday, 10 PM — quietToday, 1 AM — quietToday, 4 AM — quietToday, 7 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 · 8:51 AM ET

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

MastodonLobstersHacker News