TokenPost topic

Research verification

1 TokenPost story is tagged Research verification. The newest appear first.

Latest Research verification stories

• OpenAI’s 719 AI-Generated Math Manuscripts Face Ongoing Verification

  The collection includes 372 result families, while 300 top-line results have been formalized in Lean and the rest remain under review.

  Oct 9, 2026, 3:26 PM EDT · Technology