ihaphleas on Nostr: Yes, but an LLM van make code for a deductive machine like Coq
Yes, but an LLM van make code for a deductive machine like Coq
Published at
2023-12-20 19:34:11Event JSON
{
"id": "a7bfea1764bd3c006fc50850ebeb3113e9d1dc3374096f06a9af3b640c76c391",
"pubkey": "590e177703aaee8153349f97457e81aa734c6cfe7fa609b07bf99393020f2ee3",
"created_at": 1703100851,
"kind": 1,
"tags": [
[
"e",
"b5108fa3fb2577d8e6d3c211e8f5dcb508d9caa91f129308879314f2894004e8",
"",
"root"
],
[
"p",
"f728d9e6e7048358e70930f5ca64b097770d989ccd86854fe618eda9c8a38106"
]
],
"content": "Yes, but an LLM van make code for a deductive machine like Coq",
"sig": "3b07f54338da63d342564cd6a7e6cc43a053726aa5e97a1da426f5b978028ce46653d67593f17004dc1ecde002d114f48e298a237d4a89877fb779f9123f99d1"
}
