• Traditions die: Another one bites the Dust

    From Mild Shock@21:1/5 to All on Fri Jan 10 22:36:47 2025
    Hi,

    Subject: An Isabelle Foundation?
    Date: Fri, 10 Jan 2025 14:16:33 +0000
    From: Lawrence Paulson via isabelle-dev
    Some of us have been talking about how to keep
    things going after the recent retirement of Tobias and
    myself and the withdrawal of resources from Munich.
    I've even heard a suggestion that Isabelle would not
    be able to survive for much longer. https://en.wikipedia.org/wiki/Isabelle_%28proof_assistant%29

    No more money for symbolic AI? LoL

    Maybe suplanted by Lean (proof assistant) and my
    speculation maybe re-orientation to keep up with
    Hybrid methods, such as found in ChatGPT. https://en.wikipedia.org/wiki/Lean_%28proof_assistant%29

    Bye

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)