Login
From:
Blog: Expanded Universe
(Uncensored)
subscribe
comparing formal proofs of aime_1984_p1 | Blog: Expanded Universe
https://betaveros.bearblog.dev/comparing-formal-proofs-of-aime_1984_p1/
links
backlinks
(I work at Anthropic, but far from any efforts related to math reasoning or formalization; opinions are my own) This is an incredibly speci...
Roast topics
Find topics
Find it!
