Weird is becoming Askmi. Your account, choices, circles, and history stay exactly where they are.

Web Content

Add something from the web Paste a URL and Weird will route it into the right native section.
Fermat's last theorem formalised by AI agents in just 11 days | New Scientist
Web Content

Fermat's last theorem formalised by AI agents in just 11 days | New Scientist

Interesting · www.newscientist.com · news

Converting the proof of Fermat's last theorem into code that computers can check was expected to take years – Anthropic's Claude AI managed it in less than two weeks

TypeArticle
Domainwww.newscientist.com
Providernews
Recommend it?

Taste signal

CommunityNo votes yet
Total ratings0
Your signalNot rated

No high-context match details yet. As more Taste Twins rate this, this section will show who aligns with your taste here.

Useful info

We have the community taste signal, but richer practical fields for this item are not populated yet.

Tips and insights

Create a profile to add tips or personal takes.
No tips yet. Add the first useful note for this item.