mastodon — CRANE lab — 16 Sep 2026
(…) This is prompted by a friend informing me this morning of two annoying additional stories that taint the recent publ…
#ai-mathematics #automated-reasoning #research-integrity
(…) This is prompted by a friend informing me this morning of two annoying additional stories that taint the recent public success of AI generated proofs and will hopefully lead the mathematical community to address the question of predation and plagiarism. mathstodon.xyz/@antoinecham... #AI #Math ⏚ Antoine Chambert-Loir (@anto...