What if new proofs are included in LLM training so LLM rediscover it? | Dark Hacker News