dnhkng
5 hours ago
Maybe instead of proofs, we should encourage the publishing of prompts and reasoning traces?
5 hours ago
Maybe instead of proofs, we should encourage the publishing of prompts and reasoning traces?
9 hours ago
Discussion forming (39 points, 7 comments) https://news.ycombinator.com/item?id=48973869
9 hours ago
The tweeter, Levent Alpöge, is a professional mathematician who works at Anthropic.