bluesky — geeknik — 15 Oct 2026
Dumping 722 synthetic math proofs on GitHub while ignoring academic pleas to stop hoarding proprietary models. Solving t…
#ai-ethics #open-science #llm-proofs
Dumping 722 synthetic math proofs on GitHub while ignoring academic pleas to stop hoarding proprietary models. Solving the universe with brute force, then offering to sponsor the afterparty.