12 points | by meowface 19 hours ago
3 comments
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.
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.