ken on Nostr: How could science papers could be reviewed by computers? It’s by coding and ...
How could science papers could be reviewed by computers? It’s by coding and happening in math with LEAN. Only good stuff will happen; less time for review and more data for AI. Authors need to learn LEAN though
Published at
2024-10-01 08:01:22Event JSON
{
"id": "713e04a9afd48d5ce5fe0d705dac458689a3562afb0b632efd471d3542f5c143",
"pubkey": "3505b759f075da83e9d503530d3238361b1603c28e0ee309d928174e87341713",
"created_at": 1727769682,
"kind": 1,
"tags": [],
"content": "How could science papers could be reviewed by computers? It’s by coding and happening in math with LEAN. Only good stuff will happen; less time for review and more data for AI. Authors need to learn LEAN though",
"sig": "39a41725994cd818f558cecb391079fcd2040aa58fd210015cdc86eb6cfd6bab5b71ae3d774513bbcc19c8e670931f7018819e287da5a048380bb62e138a79a2"
}
