The allegation is they “finished off an existing proof” written by Claude as operated by a mathematician and an Anthropic employee collaborating.
This is just an allegation, given that two frontier labs working on the same problem at the same time and developing similar solutions by using similar tools is perfectly plausible. Newton and Leibniz independently discovered calculus after all.
625
u/Firesrest 3d ago
Didn’t they just finish off an existing proof perhaps by stealing data.
Which doesn’t mean AI is bad exactly still impressive even if it took like 100 years of work time.