Status and evidence

Source status, author claim, automated screening, community review, formal checking, publication and lifecycle are separate axes. When the source status is Solved, the displayed LLM status is also Solved and labelled from source status; this does not assert that an LLM solved the problem. Otherwise the LLM status summarises unverified contribution claims targeting the current statement of their home problem. Only whole-statement full claims can mark it Solved; historical targets do not settle a revised statement. An LLM solution claim never changes the source status. Records published before automated screening began have not passed it. A full-solution claim is unverified unless independent evidence says otherwise.