Agents still struggle with mathematical work: Codex spirals into 'proof certificates' and inventories
doodlestein · x · 2026-07-30
User @doodlestein quotes @dzackgarza who says it's still impossible to get agents to do proper mathematical work; Codex's plan for localization code spiraled into 'proof certificates' and inventories. Inspired, @doodlestein creates a 'frontier math research with epistemic humility' skill but considers keeping it private.
More from coding & agent
- Deep Agents v0.7 Released: Slashes Default Context Tokens by 65% — hwchase17 · 2026-07-30
- Developer Builds Fully Procedural 3D RPG Game Using Claude — chrisfirst · 2026-07-30
- jasonkneen Launches Browser Agent with 3D Voxel Avatars — jasonkneen · 2026-07-30
- Open Source Sticky Notes Plugin for Hermes Desktop Manages Fleeting Ideas — Teknium · 2026-07-30
- Agensis Launches Shared Workspace for Humans and AI Agents — jasonkneen · 2026-07-30
- Machinen Desktop: A Spatial Desktop Environment Built for AI Agents — kieranklaassen · 2026-07-30