科技新闻TheoremDB – A public workspace for machine mathematics2026年8月9日1 次浏览来源：Hacker News阅读原文Article URL: https://theoremdb.org/ Comments URL: https://news.ycombinator.com/item?id=49227505 Points: 24 # Comments: 0分享复制链接