Trendaavat aiheet
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
This is the ByteDance IMO paper I heard rumors about recently. They built hybrid systems which uses Lean as well as an LLM. They were able to solve 5/6 problems using the two systems Seed-Prover and Seed-Geometry (which improves weak Lean geometry capabilities).
IIUC only Seed-Prover participated offically at IMO and solved 4/6 for a silver medal.
2,72K
Johtavat
Rankkaus
Suosikit