Populære emner
#
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.
Dette er ByteDance IMO-artikkelen jeg hørte rykter om nylig. De bygde hybridsystemer som bruker Lean så vel som en LLM. De var i stand til å løse 5/6 problemer ved å bruke de to systemene Seed-Prover og Seed-Geometry (som forbedrer svake Lean-geometri-evner).
IIUC eneste seed-prover deltok offisielt på IMO og løste 4/6 for en sølvmedalje.
2,66K
Topp
Rangering
Favoritter