Source item

Quoted context

These are the quoted author’s words.

19 Erdős problems I claimed with AI Just to update the list for all the solution claims I've got with GPTs - 5.5 Pro solved the most, but each 5.2, 5.4, 5.6 solved something in the end. 3 New Claims with GPT-5.6 Sol Ultra in July: #421, #793, #415 (loose ends closed from previous attempt by GPT 5.4) 16 Previous Solution Claims: #258, #522, #603, #610, #750, #856, #858, #888, #896, #953, #956, #1092, #1133, #1148, #1151, #1190 5 almost/partial: #514 (finished with another person), #689 (finished with another person, bookkeeping is tricky), #741 (cleaning what's already proven from OpenAI/Deepmind), #906 (was completed by someone else first, a bit different), #1201 (partial, but close). Most of the Solution Claims I've got with the help of GPT-5.5 Pro in the last two weeks of April 2026. What a marathon that was! I'm writing solution claims not solutions, because not all of the solutions were verified - either formally or by other mathematicians. However each was run through an adversial LLM check at least twice and read by me. Since May I wasn't as active pursuing these problems, but it makes sense to revisit some now with the release of GPT-5.6.

prz_chojecki ↗