Auto-Formalizing a 76-Page Paper With Opus 5 High Would Take ~40 Days
kfountou · x · 2026-09-19
A researcher estimates that auto-formalizing a 76-page computational learning theory paper on discrete finite automata with Opus 5 High would take about 40 days, excluding verification time. Verdict: not better than a senior PhD student, but clearly better than a first-year one — auto-formalization remains slow.
More from Models
- Users want OpenAI to reset subscription quota to 100% when the monthly charge hits — arthurcolle · 2026-09-19
- Unverified rumor claims Opus 5.2, GPT-6 Sol, Grok 4.7 all ready to launch next week — airesearch12 · 2026-09-19
- Users slam OpenAI's Advanced Voice Mode: non-English support feels unfinished — Angaisb_ · 2026-09-19
- Yandex releases AliceAI-80B-A3B base model trained from scratch with 262K context under Apache 2.0 — cephaloform · 2026-09-19
- Muse Spark 1.3 Gets Cheaper Contributor-Tier Optimization With Only 1-2% Benchmark Variance — alexandr_wang · 2026-09-19
- Unreleased Tencent Hunyuan 3.5 Spotted in Early Access on OnSolo, Image Quality Impresses — HeyAmit_ · 2026-09-19