build1 publisher
A PIBBSS fellowship post credits its main theorem's proof to GPT-5.6 Sol
Mikhail Mironov's stopping-complexity post lists who did what. The humans hold problem formulation, one appendix proof sketch and the rewriting. Named models hold Theorem 1, the rest of the appendix and the first draft.
Publishers:lesswrong.com
Reality
- Evidence42
- Adoption12
- Hype gap−12
- Incentives35
- Confidence48