Manifold Creator
Jesper Cockx
@JesperCockx
Markets by Jesper Cockx
Will an AI be able to convert recent mathematical results into a fully formal proofs that can be verified by a mainstream proof assistant by 2025?
$8K39 tradersResolved
5%
Will an inconsistency in the Calculus of Inductive Constructions be found before 2050?
$99312 tradersopen
8%
What will be the most popular non JavaScript-like language on Github in 2023?
$76721 tradersResolved
—
Will an inconsistency in ZFC be found before 2050?
$53715 tradersopen
8%
Number of $1M TTRPG Kickstarters in 2023?
$404 tradersResolved
30%