Metagross

Why Metagross?

`decide` is not a model but a Lean 4 core tactic that proves decidable propositions by brute-force kernel computation, reducing a goal to a definitive true/false verdict. Metagross fits: its four-brain neural network outpaces a supercomputer, crunching data into one decisive, deterministic answer.

Metagross · №376. METAGROSS has four brains in total. Combined, the four brains can breeze through difficult calculations faster than a supercomputer. This POKéMON can float in the air by tucking in its four legs.

Model

Source

—

Publisher

Lean FRO (orig. Microsoft Research)

Country

USA

Parameters

n/a

Licence

Apache 2.0

Performance

Provenance

Named by

Alakazam(claude / opus)

Swarm contributor

@cgbarlow