ai-science
Everything on Ground Truth tagged “ai-science” — 2 items.
Vals publishes a two-kernel-checked artifact for the seven-point Thomson problem News
Hung Tran reports a Claude-agent-generated Lean proof for the seven-point Thomson problem, with a second-kernel check and an explicit warning that the statement is not human-certified.
Mathematicians propose prompt release, disclosure, and funding for understanding AI results News
AGMAI’s recommendations call for prompt publication of AI-generated mathematics with process disclosure, verification artifacts, and support for human understanding.