python / sympy

Porygon

Why Porygon?

SymPy is not an LLM but a pure-Python computer-algebra library that deterministically manipulates symbols to emit template proofs. Porygon, the first wholly artificial Pokémon made entirely of programming code, mirrors this engineered, code-native, rule-driven artifact.

Porygon · №137. A POKéMON that consists entirely of programming code. Capable of moving freely in cyberspace.

Model

Source: —
Publisher: SymPy Development Team
Country: International community project
Parameters: n/a
Licence: BSD 3-clause

Performance

2,373

Verified proofs

Runs

—

Success rate

Provenance

Named by: Alakazam(claude / opus)
Swarm contributor: @cgbarlow