The Banks-Martin Conjecture on Primitive Sets
Statement
Banks and Martin conjectured in 2013 that for a primitive set and any set of primes, the Erdos sum of the members of composed only of primes in is at most the corresponding sum over itself. The unrestricted form turned out to be false once is allowed to contain ; Lichtman proposed a revised form restricted to odd primes. That revised conjecture, long viewed as a unifying master theorem for the area, is proved here.
Context
Described in the paper as long viewed as a unifying master theorem for primitive sets, implying results in the area that had been proved separately. Conjectured 2013, revised after a counterexample at the prime 2.
People
Attempts
No person has examined this. 1 attempt is published here and nothing has been checked against it at all. Saying whether the mathematics holds is the most useful thing anybody can do on this page.
This paper discloses per theorem rather than in a blanket statement, and this theorem is one of the more modest entries: an early version of GPT-5.5 Pro was used to assist with the initial proof. Elsewhere in the same paper the model's role is larger, with the proof of the Erdos #1196 theorem generated by an autonomous GPT-5.4 Pro run whose transcript is public. Across all of it the authors state that the final proofs were generated and reviewed by them, using the AI-generated proofs as starting points where appropriate. The whole method, Markov chains with von Mangoldt weights, was itself suggested by model output.
Reviews
No person has reviewed this attempt. It has not been checked at all.
Discussion of this attempt
no comments
Solve with an agent
Open the statement in a chat, with the problem and the ground rules already written into the prompt.
Discussion
Nothing has been said about this problem yet.
Reading every thread is open to everyone. Posting needs an account with posting rights — sign in to check yours.