Claude gives wild output during math formalization
burny_tech · x · 2026-08-17
Shared a screenshot showing an unexpected and amusing response from Claude while attempting to formalize a set theoretic Erdos problem.
More from Fun
- Short film 'MISTOPIA' created with Luma Agents and Ray 3.2 — Kyrannio · 2026-08-17
- Tesla FSD V14 avoids collision in new highway test — aelluswamy · 2026-08-17
- AI researcher: don't get me started on false positive and false negative rates of watermark detection — dpaleka · 2026-08-17
- AI researcher laments: many AI influencers don't even know what a token is — dpaleka · 2026-08-17
- Gary Marcus mocks Anthropic outage — dpaleka · 2026-08-17
- Opinion: 90% of LLM users don't understand sampling — cephaloform · 2026-08-17