Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days

Hacker News (AI)mês passadoen

1mês

Idade

5

Pontos

1

Comentários

Publicado: 8 de set. de 2026, 00:07 UTC
Coletado: 8 de set. de 2026, 01:02 UTC

Leia o artigo completo em news.ycombinator.com

O overfeed.news indexa e aponta. Publicamos um trecho curto — o artigo completo fica em Hacker News (AI).

Mais de Hacker News (AI)

Entre para seguir esta fonte

Hacker News (AI)há 2 horas

OpenAI's New ChatGPT Watermark Breaks If You Edit One Word in Four

en▲ 5

Hacker News (AI)há 2 horas

Show HN: Chrome Relay – background tabs in your real Chrome for coding agents

en▲ 5

Hacker News (AI)há 2 horas

Anthropic can't reliably control its AI agents, cuts internet access

en▲ 5

Hacker News (AI)há 6 horas

If AI is conscient, then we are making slaves

en▲ 5

Anthropic AI 'formalizes' proof of Fermat's last theorem in…