Two retirees: Dietmar Wolz at the machines and Ingo at the coffee cup!
Diary on the "First Proof" Competition
10 February, 2026
11 February, 2026
12 February, 2026
13 February, 2026
14 February, 2026
Ingo Althofer
Dr. Dietmar Wolz and I try on the ten questions of "First Proof".
"First Proof" announcement
Here are results of our quick attempts, using several AIs
in pingpong interplay.
Probably most of the
answers are not fully satisfying.
We are learning a lot through these days.
February 12, 16:50 (CET zone): Short description of "Agentic Strategy":
Agentic Strategy
February 12, 23:55 (CET zone):
Agentic Strategy Design for Math Proofs: Long Paper by Dietmar Wolz
Aftermath (or Afterproof)
February 14, 20:00 (CET zone):
Lessons learned from the event
February 14, 20:00 (CET zone):
ChatGPT compares
February 14, 20:00 (CET zone):
Gemini compares + some comments from us
Output after several rounds (Feb 09 - 12):
On Question 1 3 pages, Feb 09
On Question 2 7 pages, Feb 10
checked by Aristotle on Feb 12
On Question 3 5 pages, Feb 10
On Question 4 4 pages, Feb 10
On Question 5 3 pages, Feb 10
On Question 6 3 pages, Feb 10;
On Question 6 6 pages, Feb 11; - only partial proof
On Question 7 2 pages, Feb 09
On Question 7 2 pages, Feb 12
checked by Aristotle
On Question 8 3 pages, Feb 10
On Question 9 3 pages, Feb 10
On Question 10 3 pages, Feb 10
tex files on request
experimental Python code related to questions 4, 6 and 8 on request.
chat protocols on request
*** Modes for Agentic Systems in Math ***
Contact: substitute PingpongPadam
ingo.althoeferPingpongPadamuni-jena.de
Dietmar Wolz is present on Social Media (whatever that is):
look at his comments with hashtag #1stproof
Back to the main site
14 February 2026