Discussion forming (39 points, 7 comments) https://news.ycombinator.com/item?id=48973869

Maybe instead of proofs, we should encourage the publishing of prompts and reasoning traces?

The tweeter, Levent Alpöge, is a professional mathematician who works at Anthropic.