The McAllester post seems very strange. You *need* more structure to say more. AIETP: I think the moves (at least for the Calegaris)https://twitter.com/isomorphisms/status/1064353243264942081 …
"Isomorphism Revisited" by David McAllester https://arxiv.org/abs/1912.02885 PS: The motivation for the above line of work comes from AI. E.g. it might be useful to peruse these slides "If Mathematical Proof is a Game, What are the States and Moves?" http://aitp-conference.org/2018/slides/DMA.pdf …
-
-
-
I believe patent lawyers have tried to decompose and control invention for much longer than CS passing interest in mathematicians. The states would be depth of coverage of a certain knowledge area.
- Još 4 druga odgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.