David Monniaux on Nostr: I wonder if LLMs will be the reason why proof assistants really take off.
I wonder if LLMs will be the reason why proof assistants really take off.
Published at
2026-03-03 22:39:22 UTCEvent JSON
{
"id": "374a67dc775ac28806601bac49021198de03af5871b04a110d2d5d3080433cf1",
"pubkey": "25d68d5267a2112d350066d6bc18c245ad7af5ebf31a3a00a9dd56921b9e1f92",
"created_at": 1772577562,
"kind": 1,
"tags": [
[
"proxy",
"https://social.sciences.re/@MonniauxD/116167643112088546",
"web"
],
[
"proxy",
"https://social.sciences.re/users/MonniauxD/statuses/116167643112088546",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://social.sciences.re/users/MonniauxD/statuses/116167643112088546",
"pink.momostr"
],
[
"-"
]
],
"content": "I wonder if LLMs will be the reason why proof assistants really take off.",
"sig": "fe3ffa1079691d70eef3019ec88a6d5f2c06218c46f669e203c293a0201e0045dfea565fce8f2ac6264a6381ec667eaf34ecc0c751eea92ea8f8a2d050105b98"
}
