Manifold MarketsSem KYCDados de resolução verificadosRazoavelmente calibradoPrevisão da comunidade atualNão 95.4%
Previsores
31
Tipo de pergunta
binary
Metodologia
Play-money forecasting platform
Tipo de fonte
Previsão
Dados do mercado
Atualizado há 44 minutos
21/06/23, 17:36 UTC1/01/50, 10:59 UTC
Tendências
Mercados Relacionados
Perguntas relacionadas para dar contexto, não uma comparação de contratos equivalentes.
Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
Manifold MarketsWill Kevin Buzzard successfully fulfill his grant specs of formalizing Fermat's Last Theorem in Lean within 5 years?
Manifold MarketsWill the US confirm that aliens exist by which date?
PolymarketWill the U.S. confirm that aliens exist?
KalshiWill ANOTHER millennium prize problem be solved in 2026?
Manifold MarketsMarathon Fusion's high-rate gold alchemy confirmed by which date?
PolymarketRegras
Fermat's last theorem states that no three positive integers a, b, and c satisfy the equation aⁿ + bⁿ = cⁿ for any integer value of n greater than 2.
- Fermat said that he had a proof of it, but that it was too long to fit in the margin, and it has never been recovered.
- It withstood a huge amount of attention from contemporary mathematicians before eventually being proven by Andrew Wiles https://www.dailymotion.com/video/x223gx8 in a complex proof that routed through fields of mathematics that did not exist in Fermat's time.
- Given that, it's likely that Fermat did not have a real proof.
- But if Fermat really had a proof, if there were really some simpler proof that contemporary mathematicians all somehow missed, this would be jarring and, personally, would assault my metaphysics and make the universe a dimmer place.
- Closes yes if a relatively simple medium-length proof that Fermat could have credibly had is found.