Anthropic: They made an unpublished version of Claude try to solve the Lehman Conjecture

On 11 August, Anthropic stated that they had allowed Claude, an unpublished version of the study, to try to resolve the “Liman Conjecture”. While Claude has failed to prove this well-known mathematical assumption, progress has been made on related issues, increasing the zero percentage of the Lehmanian function from 41.6 per cent to 67.2 per cent below the Lehmanian hypothesis。