Safety
South Korea says AI agents appear to have been used to hack the country's banks (opens in a new tab)
Hacker News ·
Your next cue,
from NOCUE.
Industry
OpenAI just dropped 700 preprints of mathematical proofs and counterexamples (opens in a new tab)
Hacker News ·
Industry
OpenAI drops another batch of mathematical breakthroughs (opens in a new tab)
The Verge AI ·
Products
Ex-Ramp engineers raise $20M for platform Melius after scrapping their first product (opens in a new tab)
TechCrunch AI ·
Industry
Mathematical manuscripts and supporting proof artifacts produced by OpenAI (opens in a new tab)
Hacker News ·
Industry
An Open Letter to Steven Pinker on AI (opens in a new tab)
Hacker News ·
Industry
Sharing AI Progress in Mathematics (opens in a new tab)
Hacker News ·
Industry
Show HN: An AI agent runs ten web errands a day, every transcript published (opens in a new tab)
Hacker News ·
Industry
Penguin Mail – open-source Rust email client for Linux with AI (opens in a new tab)
Hacker News ·