Is formalized code as verifiable math legit, or does it sound like a scam?
ziv_ravid · x · 2026-10-08
zivravid asks: now that math is "solved" (not really), what do people think of using formalized code as verifiable math? He gets the concept but finds it suspicious, since you can't predict how users will respond.
More from Research
- Zuckerberg's Biohub leads $1.8B push to build AI models that predict cell behavior — The Decoder · 2026-10-08
- Atomic Machines builds an AI 'matter compiler' to make index-finger-sized circuit breakers — ZoubinGhahrama1 · 2026-10-08
- Dataset signatures propagate from human data to user models to assistant evals, study finds — serinachang5 · 2026-10-08
- Study: classifiers can identify WildChat vs LMSYS chats from user messages alone — serinachang5 · 2026-10-08
- r/Math Is Deleting All Posts About the Day's LLM Math Breakthrough — burny_tech · 2026-10-08
- LLM-Assisted Proof Shows GD's Silver Rate Is Optimal, Latest Math Breakthrough — burny_tech · 2026-10-08