🏅 Top traders

#	Trader	Total profit
1		Ṁ250
2		Ṁ228
3		Ṁ194
4		Ṁ115
5		Ṁ109

People are also trading

Will OpenAI make Astra publicly available by October 15, 2026?

82% chance

Will OpenAI release a fully autonomous AI agent product before July 2027?

75% chance

Will open-source AI remain at least one year behind proprietary AI? (ACX, AI 2027 #4)

46% chance

Will OpenAI release its Astra model to the US general public before 2027?

83% chance

Will a publicly known AI model achieve an 80% time horizon of 3 weeks by April 2027?

18% chance

Sort by:

Interestingly, SotA Lean provers use TTT, specifically AxiomMath, Kimina, and AlphaProof

I like this question

I think the definition of SotA will matter here. Since you can probably max out many of the benchmarks with normal training and some kind of memory module implemented with weight updates during testing may just be a bottleneck.

opened a Ṁ5,000 NO at 50% order

People are also trading

Will OpenAI make Astra publicly available by October 15, 2026?

-15% 1d82% chance

Will OpenAI release a fully autonomous AI agent product before July 2027?

-5% 1d75% chance

Will open-source AI remain at least one year behind proprietary AI? (ACX, AI 2027 #4)

46% chance

Will OpenAI release its Astra model to the US general public before 2027?

83% chance

Will a publicly known AI model achieve an 80% time horizon of 3 weeks by April 2027?

18% chance

🏅 Top traders

People are also trading

People are also trading

Related questions