Mathematical manuscripts and supporting proof artifacts produced by OpenAI

Hacker News (AI)há 5 diasen

4d

Idade

9

Pontos

Publicado: 6 de out. de 2026, 22:22 UTC
Coletado: 6 de out. de 2026, 22:31 UTC

Imagem: Hacker News (AI)

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á 3 horas

Terence Tao: Math 2.0 [pdf]

en▲ 6

Hacker News (AI)há 3 horas

How HN: Go-dev-auth zero-dependency authentication library for Go

en▲ 5

Hacker News (AI)há 4 horas

Scandinavia's first farmers slaughtered hunter-gatherer population, DNA suggests

en▲ 5

Hacker News (AI)há 4 horas

Show HN: I'm a 14-year-old building my first startup, Titan

en▲ 5

Mathematical manuscripts and supporting proof artifacts…