🏅 Top traders

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

People are also trading

September 2026 AI model releases

Will OpenAI release a new model before October?

71% chance

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

92% chance

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

46% 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

September 2026 AI model releases

Will OpenAI release a new model before October?

71% chance

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

92% chance

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

46% chance

🏅 Top traders

People are also trading

People are also trading

Related questions