arXiv paper proposes ProofTrace for detecting AI involvement in mathematical proofs
ProofTrace distinguishes human-written papers from those disclosing substantive AI use with stable performance under AI rewording.
7 stories, newest first · one card per story
ProofTrace distinguishes human-written papers from those disclosing substantive AI use with stable performance under AI rewording.

Undeclared and disguised AI agents evade binary bot detection using human-like signals and coordinated sessions.

Google's improved SynthID detector is now global for checking partner AI watermarks in media.
IdeaLens detects whether a document's ideas came from a human or AI, independent of the prose.

An MIT report says student AI use is cutting office hours, study groups, and faculty-student trust.

Verdict, an offline iPhone app, scores media for AI generation but mislabeled a real concert video as synthetic.

XPRIZE's $11M Wildfire competition ended with no grand prizes; finalists detected fires within 10 minutes using satellite AI but could not extinguish them.
Today 1.6K readers · 2.4K views · 776 reads · all time 189K views