Practitioners argue tokens are nearly free and AI math proofs are marketing

Developer Dmitry Rybin estimates tokens are nearly free, with a $200 GPT Pro subscription effectively containing thousands of dollars worth of tokens. Separately, littmath argues AI-driven large-scale proof exploration has low marginal value, mainly benefiting AI companies' PR.

2026-08-24 ~ 2026-08-24 · 2 related posts

• Inference dev: a $200 GPT Pro sub packs ~$10,000 of API tokens monthly — DmitryRybin1 · 2026-08-24
• AI-assisted math proofs have low marginal value, primarily serving as PR — littmath · 2026-08-24