181.
182.
184.
Long-Sought Proof Tames Some of Math's Unruliest Equations
(news.ycombinator.com)
185.
First Proof
(news.ycombinator.com)
186.
187.
Show HN: Agent Arena – Test How Manipulation-Proof Your AI Agent Is
(news.ycombinator.com)
188.
Broken Proofs and Broken Provers
(news.ycombinator.com)
189.
190.
Banning lead in gas worked. The proof is in our hair
(news.ycombinator.com)
191.
Initial access hackers switch to Tsundere Bot for ransomware attacks
(bleepingcomputer.com)
192.
Show HN: I'm building an AI-proof writing tool. How would you defeat it?
(news.ycombinator.com)
193.
194.
196.
Case study: Creative math – How AI fakes proofs
(news.ycombinator.com)
197.
Proof of Corn
(news.ycombinator.com)
199.
600,000 Trump Mobile phones sold? There’s no proof.
(theverge.com)
200.
Is Starlink authoritarian-proof?
(feeds.feedburner.com)
201.
The Influentists: AI hype without proof
(news.ycombinator.com)
202.
Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless
(news.ycombinator.com)
203.
204.
205.
Gmail now answers your email questions like Google Search — but you’ll have to pay for it
(androidauthority.com)
206.
2026 will be my year of the Linux desktop
(news.ycombinator.com)
207.
Test, don't just verify
(news.ycombinator.com)
208.
Test, don't (just) verify
(news.ycombinator.com)
209.
Test, Don't (Just) Verify
(news.ycombinator.com)
Today's top topics:
openai
anthropic
apple
ai safety
google
iphone 18 pro
artificial intelligence
ios 27
dario amodei
nvidia