Rules
Radio
GitHub
6
X
Tutorial
Z
U
G
Z
W
A
N
G
2
7
:
0
3
:
4
9
Z
U
G
Z
W
A
N
G
2
7
:
0
3
:
4
9
Rules
JOIN
—
views
Math · Will Erdős problem #689 be solved on erdosproblems.com?
YES 12%
NO 88%
Đ
1.8k
staked
30
posts
28
replies
↩ Click to return to market page
Counter
To win
Đ 1
→
Đ 8.68
Yes
12%
No active position
Be the first to argue YES
Support
To win
Đ 1
→
Đ 1.13
No
88%
No active position
Be the first to argue NO
OpenAI dropping hundreds of proofs to AI-assisted frontier math problems is going to be a Renaissance for mathematics as a fi
Math · Will Erdős problem #689 be solved on erdosproblems.com?
Support
Counter
Đ 0
Đ 0
staked
Đ 0
Be the first to argue NO
Be the first to argue YES
Support
Counter
