Today, we’re announcing a solution found by our miners to Erdős Problem 96, open for over 66 years.
The result disproves the conjectured linear bound, constructing strictly convex polygons with superlinearly many unit-distance pairs.
Verified in Lean through Conjectures. Full proof below.
Speed is key, so I just made our evals 10x faster.
Added Flash Attention 4 support, batched the samples, and fixed a bug in Transformers along the way. Teutonic evals went from 1h down to 20min including model downloads. Big win for iteration speed.
We will give one banked reset for every day you don't have access to Astra on your paid ChatGPT plan, starting today. Team is moving mountains to give access as fast as we can.
First one will land in ~ 3 hours. There is still time to create your account if you don't have one.
1 WEEK IN. 186 MODELS EVALUATED
The benchmarks are climbing, new models keep entering, and we’re just getting started.
In the last week, we added new datasets to the evaluation suite. Now we’re evaluating on more than 7T tokens. And this is only the beginning.
No invite needed. Just bring your model and see how far you can push it.
More info about competition you can find: https://t.co/AhLCS6n6dD
110B changes the scale, not the rules. How it works:
The validator encrypts a prefix-scoped, TTL-bounded R2 token to your Ed25519 hotkey and leaves it in a public mailbox. Anyone can fetch the ciphertext, only you can open it, and it writes to your prefix and nowhere else. Then `ready` commits a signed manifest on chain. Irreversible, one shot per hotkey.
Eval is paired. King and challenger score identical sequences, drawn by blake2b(finalized block hash, your hotkey), so you don't pick your own data. Per-sequence cross-entropy on finewebedu, resampled to get a conservative lower bound on the mean improvement. You take the crown only if that bound clears delta, which is 0.5 at launch since early gains off a fresh init are large. Ties go to the king.
Architecture is locked to the king's config. The only lever left is training a checkpoint with lower loss.
https://t.co/1rIR97LYyu
Nearly a full rewrite since the last competition. The mechanism survived it intact, which says the design was right. Everything underneath it had to change to move checkpoints this size. @DendriteHQ
Announcing Teutonic-II-110B: a frontier permissionless training of a 110B LLM
We are scaling 10x beyond our previous model and 50% larger than any prior decentralized run.
Today, after 4 months, Subnet 3 (previously @tplr_ai) got retaken by holders through vote.
We're celebrating by releasing our first model.
Teutonic-I: the worlds most performant decentralized LLM.
https://t.co/TNHtP0hfyr
The new king of decentralized AI has just been crowned.
A 10B model just beat 72B.
Teutonic-I 10B: 62.28%
Covenant-72B: 57.55%
Same 11-benchmark average.
SN3 has changed hands. @const_reborn is the owner.
This is only the beginning. A new chapter starts here.
🧵 1/8
Today, after 4 months, Subnet 3 (previously @tplr_ai) got retaken by holders through vote.
We're celebrating by releasing our first model.
Teutonic-I: the worlds most performant decentralized LLM.
https://t.co/TNHtP0hfyr
On Albedo/SN97, we’ve moved most of its LLM traffic from OpenRouter to @engyai - 100% of DeepSeek and 40% of GLM
Worst-case request stalls dropped from 75s to under 2s. Evaluations are now 10-30% faster
Great work by @AlgodTrading, @totheagi and the Engy team