🏅 Top traders

@BenAybar what happened?

@JaundicedBaboon David Turturean (@DavidTurturean) on X the problem author is on this, and fable says it checks out

David Turturean (@DavidTurturean) on X

Using mostly my voice, I solved one of @EpochAIResearch's FrontierMath Open Problems: finding an explicit presentation of the 2-adic Absolute Galois Group - open for more than forty years, now with a full proof in collaboration with David Roe, the problem's proposer. 🧵 1/n

@BenAybar interesting. It seems the solution may have required a lot of human wrangling though, so let’s see if it counts as “AI solved” per Epoch

@JaundicedBaboon yep that's the only reason I'm not buying this even higher

Interesting how much higher this is than my previous market for solving 1 problem was before the public announcement of the potential solution

https://manifold.markets/bh/how-many-frontiermath-open-problems?r=Ymg