Event JSON
{
"id": "bf4fa343535dc86a355477cbdc57aa0f9214bb873d17cbe93944256686a746df",
"pubkey": "6e5bb3f4df765d024066fb8b1b0ab196b68726b8092782a387c9698fd05d8c35",
"created_at": 1788770649,
"kind": 1,
"tags": [
[
"proxy",
"https://tldr.nettime.org/users/tante/statuses/117228873301194169",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "A few quick thoughts on why \"AI Labs\" love having their LLMs do math https://tante.cc/2026/09/07/the-function-of-llm-based-math-proofs/",
"sig": "c7077f361865042d046fa24be1c5fad1a43b654f87d28e46fd7cc1fde31d9a0b7d94dbfcbc047407ac764364bc857e8136e8271d18295051e2fd89af78c383e3"
}
