1.
2.
Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days
(feeds.nature.com)
3.
Is mathematics about to enter the conservatory?
(news.ycombinator.com)
4.
5.
Fermat's Last Theorem in Lean 4
(news.ycombinator.com)
6.
Formalizing Fermat's Last Theorem
(news.ycombinator.com)
7.
8.
9.
Here Are the 2026 Hugo Award Winners
(gizmodo.com)
11.
12.
13.
14.
McDonald’s and Taco Bell Are Fighting Over Your 3 P.M. Pick-Me-Up — Here’s Who’s Winning
(feeds.feedburner.com)
15.
Pixel’s Now Playing is about to get its lost feature back, and we saw the proof
(androidauthority.com)
16.
Scientists Turn Plastic Waste Into Edible Cookies
(slashdot.org)
17.
AT&T Sues Charter Over ‘Fiber’ Internet
(cnet.com)
18.
19.
Engineered yeast for converting plastic and biomass compounds to food additives
(news.ycombinator.com)
20.
Engineered yeast for converting plastic and biomass compounds into food
(news.ycombinator.com)
21.
Hollywood's Video Game Era Is Here. Will It Be Any Good?
(news.ycombinator.com)
22.
Android 17 has some new tricks to keep your web traffic private
(androidauthority.com)
23.
24.
25.
Bomb fishing is wreaking havoc on Indonesia's coral reefs
(news.ycombinator.com)
27.
28.
29.
Why the Ocean Cleanup hasn't solved the plastic pollution crisis
(news.ycombinator.com)
30.
Why the Ocean Cleanup Hasn't Solved the Plastic Pollution Crisis
(news.ycombinator.com)
Today's top topics:
apple