据说axiom公司大模型做Putnam满分。现在风投有太多未变现增值，不投白不投；a16z领导也说过：不怕投错，就怕错过

https://menlovc.com/perspective/ai-will-write-all-the-code-mathematics-will-prove-it-works/

回来看前面关于纸钱的讨论又被删了