Comment by briansmith

> Two mathematicians at Anthropic studied and validated Claude’s paper, and produced an informal note for experts stating Claude’s proof concisely.

Why hide the names of the people who wrote the second paper? To discourage people from citing it instead of the LLM-derived paper?