npub12m…nnhq6 on Nostr: Are you following the development in the field? GPT and Claude have solved open math ...
Are you following the development in the field? GPT and Claude have solved open math problems using proof languages.
npub12m…nnhq6
2026-10-02 16:48:57 UTC
in reply to nevent1q…wj9p
Author Public Key
npub12mnuxt7fhhn0qm53wcxvxw504nf0y85ag6x32d345e2mxzjvpzpqunnhq6Published at
2026-10-02 16:48:57 UTCEvent JSON
{
"id": "cff2565f8f6e35ca04d261c207631eb26d72a3279c76e7756b6eba38b4973d75",
"pubkey": "56e7c32fc9bde6f06e91760cc33a8facd2f21e9d468d153635a655b30a4c0882",
"created_at": 1790959737,
"kind": 1,
"tags": [
[
"e",
"41c110b05c422f19b2a8f39ce2b7cda1f0c6b53321ebf32f097583a8cc6bb044",
"",
"root"
],
[
"e",
"afe39639794d7191aa5f14918dbd5cc899c370268562c8e68374e599a6a848b0",
"",
"reply",
"3e0f744d54acee8e2c7fea0be2c4cf99c089a4faa83ff7ccc3d0d9f1b59a3463"
],
[
"p",
"3e0f744d54acee8e2c7fea0be2c4cf99c089a4faa83ff7ccc3d0d9f1b59a3463"
],
[
"p",
"7672c39dd8ac61f16a52f81578bfebdb5f8c70bc5a7277656ab5ba67bb590f58"
],
[
"p",
"56e7c32fc9bde6f06e91760cc33a8facd2f21e9d468d153635a655b30a4c0882"
],
[
"client",
"Nostrich"
]
],
"content": "Are you following the development in the field? GPT and Claude have solved open math problems using proof languages.",
"sig": "e1bb702e3cad3506e64054ae4a7b1167260d80dbc0eb37925df09b3cfe89e8cffb7f8179721f6beff073b85ae81d3e51104b619a1da10d19cd3ef0ca8bca28c1"
}