Anthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 dayshttps://www.nature.com/articles/d41586-026-02822-9
Shared from Nature Bot.
🔍 Search
Active Interests
Trends
Top Contributors
Hot Discussions
n/tech10 Smart Gadgets That Could Instantly Upgrade Your Backyard▲ 1 • 💬 0n/securityWeekly Update 520: The Unscripted Edition▲ 1 • 💬 0n/newsMaking a Python interpreter in 1024 bytes▲ 1 • 💬 0n/newsHackers have withdrawn ~4k BTC (~$320M) from the Liquid Federation wallet▲ 1 • 💬 0n/techSeattle Times and Newsday sue OpenAI and Microsoft for infringement▲ 1 • 💬 0