Tendencias
Mercados Relacionados
Preguntas relacionadas para dar contexto, no una comparación de contratos equivalentes.
All Millennium Prize Problems solved before EOY?
Will there be a verified AI-assisted solution to one of the Millennium Prize problems by the end of 2026?
How many more Millennium Prize Problems will AI solve in 2026?
How many of the 7 Millennium Prize Problems will be solved by EOY 2030?
When will all Millennium Prize Problems be solved?
Will OpenAI announce another Millennium Prize solution?
Reglas
Will resolve YES for something like the amount of proof we have for Navier-Stokes (e.g. a Lean formalization), I might wait a week or two but I will lean towards accepting proposed solutions rather than waiting forever for extensive verification, unless the solutions are very controversial
+4 resultados más
+5 resultados más
+3 resultados más
+5 resultados más