Development

A mathematician solves his own open problem with GPT-5 and colour-codes authorship

development2025-12-18

Claim

Johannes Schmitt used GPT-5 to solve his own open problem on intersection numbers, publishing a paper whose paragraphs are colour-coded by human versus AI authorship.

Reporting date: 2025-12-18 (not necessarily the event date)

Sources

Attribution and reporting linked by this record; links do not imply independent verification.

Welcome to December 18, 2025 (theinnermostloop.substack.com)

Attribution made visible at paragraph granularity — a practical answer to the question the Tao thread keeps raising.

Knowledge graphopen in browser →

Reported in

Welcome to December 18, 2025

Actor

OpenAI

Evidence for

Referenced by

Welcome to December 18, 2025

Cite or correct this record

Citation formatCitation text

A mathematician solves his own open problem with GPT-5 and colour-codes authorship
Innermost Loop KB — secondary record
Reporting date: 2025-12-18
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2025-12-18-schmitt-gpt5-own-problem
Claim: Johannes Schmitt used GPT-5 to solve his own open problem on intersection numbers, publishing a paper whose paragraphs are colour-coded by human versus AI authorship.
Attributed sources:
- Welcome to December 18, 2025 — https://theinnermostloop.substack.com/p/welcome-to-december-18-2025
This citation does not imply independent verification of linked-source claims.

Suggest a correction — opens a GitHub draft for you to review and submit.