overfeed.news
Anuncio

Privum

Construimos, protegemos y operamos tu infraestructura digital.

Software, sistemas de IA, pruebas de penetración y nube segura para empresas.

Hablar con Privum

Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]

Hacker News (AI)en

1mes

Antigüedad

5

Puntos

1

Comentarios

Publicado
Recolectado
Lee el artículo completo en news.ycombinator.com

overfeed.news indexa y enlaza. Publicamos un extracto breve; el artículo completo sigue en Hacker News (AI).

Más de Hacker News (AI)

Inicia sesión para seguir esta fuente
Show HN: I solved a 12yr math problem using AI (formalized;…