Tendências
Mercados Relacionados
Perguntas relacionadas para dar contexto, não uma comparação 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?
Regras
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 mais resultados
+5 mais resultados
+3 mais resultados
+5 mais resultados