Daily AI news from Hacker News · The Verge · arXiv.
Hacker News · AI 热议
- Epoch confirms GPT5.4 Pro solved a frontier math open problem · ⭐57 💬7
- iPhone 17 Pro Demonstrated Running a 400B LLM · ⭐511 💬246
- Show HN: Cq – Stack Overflow for AI coding agents · ⭐86 💬28
- Ju Ci: The Art of Repairing Porcelain · ⭐65 💬7
- Claude Code Cheat Sheet · ⭐202 💬70
- Trivy under attack again: Widespread GitHub Actions tag compromise secrets · ⭐168 💬61
The Verge · AI News
- Google’s new Pixel 10 ads made me go ‘Wait, WHAT are they trying to sell?’
- Nvidia CEO Jensen Huang says ‘I think we’ve achieved AGI’
- Confronting the CEO of the AI company that impersonated me
- AI influencer awards season is upon us
- Crimson Desert dev apologizes for use of AI art
arXiv · Latest Papers
- When both Grounding and not Grounding are Bad – A Partially Grounded Encoding of Planning into SAT (Extended Version)
arXiv:2603.19429v1 Announce Type: new Abstract: Classical planning problems are typically defined using lifted first-order representations, which off…
- Hyperagents
arXiv:2603.19461v1 Announce Type: new Abstract: Self-improving AI systems aim to reduce reliance on human engineering by learning to improve their ow…
- Teaching an Agent to Sketch One Part at a Time
arXiv:2603.19500v1 Announce Type: new Abstract: We develop a method for producing vector sketches one part at a time. To do this, we train a multi-mo…
- Learning to Disprove: Formal Counterexample Generation with Large Language Models
arXiv:2603.19514v1 Announce Type: new Abstract: Mathematical reasoning demands two critical, complementary skills: constructing rigorous proofs for t…
Auto-generated by GitHub Actions · 2026-03-24