ByteDance-Seed/Seed-Prover

System that solved 4 IMO 2025 problems

View on index · View in 3D Map

Related repos

• Code LLM that curates its own training data
• Signs Bitcoin transactions with a Raspberry Pi Zero
• 2048 game with 64 bits of state
• Database with built-in cryptographic proof and verification
• Nexus zkVM for verifiable computation
• Tool for seeding dev databases with production data while masking sensitive info
• Self-hosted file storage with encryption and moving target defense
• Open-source LLM observability platform
• operating system in just 1000 lines of code
• LLM-based build agent automates containerized environments