HN Radio
.
daily Hacker News, read aloud
👤
Your stars
Sign in with Google
Sign out
ai
biotech
science
software
security
hardware
startups
policy
general
← all entities
☆
ChatGPT Sol
product
· 1 story across the archive · newest first ·
ai
0 mentions in Aug 2025
0 mentions in Sep 2025
0 mentions in Oct 2025
0 mentions in Nov 2025
0 mentions in Dec 2025
0 mentions in Jan 2026
0 mentions in Feb 2026
0 mentions in Mar 2026
0 mentions in Apr 2026
0 mentions in May 2026
0 mentions in Jun 2026
1 mention in Jul 2026
mentions by month
often appears with
OpenAI
Lean
Your browser doesn't support audio.
AI Is Finding the Counterexamples Mathematicians Missed
▲ 461
· 233 comments
▶
↺︎
1x
0:00 / 1:31
▶
Jul 21, 19:23 UTC
· 11:37