ai-for-math
Everything on Ground Truth tagged “ai-for-math” — 1 item.
A Mathematician Posts a Counterexample to a Famous Conjecture, Crediting an AI Model News
Mathematician Levent Alpoge posted a hand-checkable counterexample to the Jacobian conjecture and credited the AI model Fable; the math is independently auditable, but the AI's actual role is not documented.