Agentic Work Atlas
Search
搜索
暗色模式
亮色模式
Explorer
标签: mathematical-research
此标签下有4条笔记。
2026年9月21日
Proof Indigestion
knowledge-management
ai-capability
proof-verification
mathematical-research
2026年9月21日
If math is more than proof, we need to better celebrate the rest of it
source-summary
mathematical-research
ai-capability
human-value
2026年8月25日
Mathematics in the age of AI
source-summary
mathematical-research
ai-capability
proof-verification
canonicalization
2026年8月20日
Mathematical Canonicalization
knowledge-management
mathematical-research
canonicalization