📢 Exclusive on Gate Square — #PROVE Creative Contest# is Now Live!
CandyDrop × Succinct (PROVE) — Trade to share 200,000 PROVE 👉 https://www.gate.com/announcements/article/46469
Futures Lucky Draw Challenge: Guaranteed 1 PROVE Airdrop per User 👉 https://www.gate.com/announcements/article/46491
🎁 Endless creativity · Rewards keep coming — Post to share 300 PROVE!
📅 Event PeriodAugust 12, 2025, 04:00 – August 17, 2025, 16:00 UTC
📌 How to Participate
1.Publish original content on Gate Square related to PROVE or the above activities (minimum 100 words; any format: analysis, tutorial, creativ
The dark side of the moon releases mathematical reasoning models
On November 16, Jinshi data reported that on November 16, Kimi, under the dark side of the moon, released a new generation of mathematical reasoning model k0-math. Benchmark tests show that Kimi k0-math's mathematical ability can be benchmarked against two models that can be publicly used in the OpenAI o1 series: o1-mini and o1-preview. Yang Zhilin, the founder of the dark side of the moon, believes that the best scenario for AI to exercise its thinking ability is in mathematical scenarios.