lean
| Tema | Respuestas | Vistas | Actividad | |
|---|---|---|---|---|
| El agente de IA de Google DeepMind resuelve 9 problemas abiertos de Erdős y demuestra 44 conjeturas de la OEIS; cada demostración cuesta cientos de dólares |
|
0 | 11 | 25 Mayo 2026 |