Daily AI news from Hacker News · The Verge · arXiv.
Hacker News · AI 热议
- OpenAI says its new model GPT-2 is too dangerous to release (2019) · ⭐219 💬55
- Project Glasswing: Securing critical software for the AI era · ⭐996 💬439
- System Card: Claude Mythos Preview [pdf] · ⭐581 💬421
- LLM scraper bots are overloading acme.com’s HTTPS server · ⭐13 💬2
- Google open-sources experimental agent orchestration testbed Scion · ⭐167 💬47
- AI helps add 10k more photos to OldNYC · ⭐125 💬41
The Verge · AI News
- Spotify’s Prompted Playlists can help you find new podcasts to listen to
- A new Anthropic model found security problems ‘in every major operating system and web browser’
- Suno and major music labels reportedly clash over AI music sharing
- Intel will help build Elon Musk’s Terafab AI chip factory
- Gemini is making it faster for distressed users to reach mental health resources
arXiv · Latest Papers
- IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking
arXiv:2604.03232v1 Announce Type: new Abstract: IC3, also known as property-directed reachability (PDR), is a commonly-used algorithm for hardware sa…
- Structural Segmentation of the Minimum Set Cover Problem: Exploiting Universe Decomposability for Metaheuristic Optimization
arXiv:2604.03234v1 Announce Type: new Abstract: The Minimum Set Cover Problem (MSCP) is a classical NP-hard combinatorial optimization problem with n…
- To Throw a Stone with Six Birds: On Agents and Agenthood
arXiv:2604.03239v1 Announce Type: new Abstract: Six Birds Theory (SBT) treats macroscopic objects as induced closures rather than primitives. Empiric…
- Position: Science of AI Evaluation Requires Item-level Benchmark Data
arXiv:2604.03244v1 Announce Type: new Abstract: AI evaluations have become the primary evidence for deploying generative AI systems across high-stake…
Auto-generated by GitHub Actions · 2026-04-08