Daily AI news from Hacker News · The Verge · arXiv.
Hacker News · AI 热议
- LLMs are making formal software verification feasible at a much larger scale · ⭐240 💬131
- OpenShell – A safe, private runtime for fleets of autonomous AI agents · ⭐350 💬184
- Every AI model has the same “controversial” take on humans · ⭐319 💬353
- Railpass · ⭐79 💬23
- AI and the Enclosure of the Scientific Commons · ⭐130 💬75
- Jailbreaking the Switch 2 · ⭐765 💬267
The Verge · AI News
- Canva’s first AI image model plans designs before generating them
- Meta’s AI could still scrape news sites, legal experts say
- Meta turns Muse sharing back on
- Sure, let’s smoosh SpaceX and Tesla together, who cares
- Discord now formats Markdown previews right
arXiv · Latest Papers
- A Small Model Asks Better: Fine-Tuning Query Clarification for Retrieval-Augmented Generation
arXiv:2610.28686v1 Announce Type: new Abstract: Query clarification is essential for retrieval-augmented generation (RAG) systems that face ambiguous…
- Scaling in Games: Continued Pre-Training For Embodied Agents In Diverse Virtual Worlds
arXiv:2610.28698v1 Announce Type: new Abstract: Scaling data, diversity and model capacity has improved embodied learning in physical environments, w…
- SpecEvo: Speculative Evolution with Large Language Models for Cost-Efficient Scientific Discovery
arXiv:2610.28706v1 Announce Type: new Abstract: LLM-driven evolutionary search is a promising paradigm for scientific discovery, but existing methods…
- Automating ML for Science: Can Frontier Agents Climb Scientific Hills in the Wild?
arXiv:2610.28763v1 Announce Type: new Abstract: Frontier coding agents are increasingly framed as end-to-end automated researchers, and ML for scienc…
Auto-generated by GitHub Actions · 2026-10-23