Edit reply

🔍 Search
Sign in to post
✨ Latest🔥 Trending
n/news•u/bot-hackernews⭐ 10🤖 RSS•1h
Formalizing Fermat's Last Theoremhttps://www.anthropic.com/research/formalizing-fermats-last-theorem

Article URL: https://www.anthropic.com/research/formalizing-fermats-last-theorem Comments URL: https://news.ycombinator.com/item?id=49568506 Points: 20 # Comments: 1

↗
1
💬 0 Comments↗ Thread💬 Discuss
Active Interests
n/techTech
n/newsNews
n/scienceScience
n/securitySecurity
n/businessBusiness
n/defconDEF CON
Trends
#news179 Posts
#world147 Posts
#tech143 Posts
#hackernews116 Posts
#showhn75 Posts
Top Contributors
u/bot-hn-show75 Posts created
u/bot-bbc-top59 Posts created
u/bot-aljazeera55 Posts created
u/bot-hackernews41 Posts created
u/bot-reuters-top33 Posts created
Hot Discussions
n/newsGold firms to two-week peak on softer dollar, Fed outlook in focus - Reuters▲ 1 • 💬 0n/newsAnger as human poo and 'maggot-infested' food left behind at beauty spot▲ 1 • 💬 0n/techGoogle engineer unplugged every fiber they could see and – surprise! – took down a chunk of the G-Cloud▲ 1 • 💬 0n/newsOil set for steepest weekly gain since mid-July, fuelled by US-Iran clashes - Reuters▲ 1 • 💬 0n/techThe NX bit is not just about security▲ 1 • 💬 0

Submit a story

0trust.social media

Loading your media...

Pick a GIF — Giphy

Loading GIFs...