ai-assisted-research
Everything on Ground Truth tagged “ai-assisted-research” — 1 item.
Intern-S2 assisted a proof of a restricted Ghys-conjecture case, with Lean checks News
Jiesong Zhang’s paper proves the codimension-one case of Ghys’s conjecture and discloses Intern-S2 assistance plus formal verification of central results.