Post #2522087
2026-05-10 07:59 UTC
Replies (2)
-
@screwlisp@gamerplus.org 2026-05-10 09:09
Thanks everyone! @bagder@mastodon.social @kentpitman@climatejustice.social #archive https://toobnix.org/w/rPKt4GRBwLeWzF3VcMFWNo Oops sorry I didn't catch your toot Vassil, hopefully Daniel can follow up here!
-
@vnikolov@ieji.de 2026-05-10 09:10
That was a fine show, thank you all. A side question, since this matter came up as a side note: If LLMs make lots of proposals of mathematical proofs, how feasible might it be to get them to submit those proposals in a formal language, so they can be fed directly into a proof assistant or a proof checker or something like that? I can imagine several reasons why it wouldn't be feasible, but I don't know enough about these matters in order to offer useful thoughts. And I quite understand that I should probably ask this elsewhere, at the appropriate junction etc. @screwlisp@gamerplus.org @bagder@mastodon.social @albinowax@infosec.exchange