1.
2.
Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 days
(feeds.nature.com)
3.
Solving Fermat: Andrew Wiles
(news.ycombinator.com)
Today's top topics:
apple
openai
anthropic
iphone 18 pro
iphone duo
google
ios 27
ai safety
apple watch series 12
iphone