What if new proofs are included in LLM trained so LLM rediscover it?

by folderquestion | May 9, 2026 | 0 comments on HN