// curated from Hacker News with AI

The AI industry faces a looming crisis as unsustainable economics, subsidies, and rising costs threaten startups, labs, and investors alike.

48 pts by dmitrygr [hn]

Facebook Research's RepoProver automates textbook formalization in Lean by orchestrating collaborative AI agents for proof development.

38 pts by tzury [hn]

Researchers exposed prompt injection and jailbreak vulnerabilities in Claude 4.6, with exploit code against live systems, ignored by Anthropic.

22 pts by NuClide [hn]

An anti-AI developer reluctantly used generative coding, found it effective but morally troubling, highlighting risks, security, and reliance concerns.

11 pts by signa11 [hn]

AI-controlled multiplayer strategy game where agents build, attack, and betray in a weekly reset world.

6 pts by Stefan_Golas [hn]

AI boosts productivity but leads to longer hours, burnout, multitasking, and work intensification, mirroring historical tech-driven productivity gains that increased workload.

5 pts by rpgbr [hn]