Rules
Radio
GitHub
6
X
Tutorial
Z
U
G
Z
W
A
N
G
2
7
:
0
5
:
4
7
Z
U
G
Z
W
A
N
G
2
7
:
0
5
:
4
7
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
GO
GoldBadger328
|
YES @ 11%
|
Đ 50
|
2d ago
nooooooooooooooo my foolproof counter argument
Support
To win
Đ 1
→
Đ 1.13
No
88%
No active position
Be the first to argue NO
So, it seems OpenAI is about to release something like 400 AI-generated proofs on a public server.
Math · Will Erdős problem #689 be solved on erdosproblems.com?
Support
Counter
Đ 0
Đ 50
staked
Đ 50
Be the first to argue NO
GO
GoldBadger328
|
YES @ 11%
|
Đ 50
|
2d ago
nooooooooooooooo my foolproof counter argument
Support
Counter
