GPT-5.6 Sol Ultra helped two groups prove the same crypto problem
MIT’s Ph.D. student and UC cryptographers independently used GPT-5.6 Sol Ultra, sparking a messy question: who gets credit?

An MIT Ph.D. student and two University of California system cryptographers used GPT-5.6 Sol Ultra in different ways to produce proofs for the same cryptography problem. The overlap raises fresh questions about independent discovery and scientific credit in an AI-assisted research era.
AI is doing more than answering questions. In a new Scientific American report, it is showing up in how people produce mathematical proofs, and it is colliding with a core scientific value: independent discovery.
The story centers on an MIT Ph.D. student and two University of California system cryptographers who used GPT-5.6 Sol Ultra in different ways to produce two proofs for the same cryptography problem. The key point is not that AI can be used to help with complex reasoning. The key point is that multiple research teams ended up producing proofs for the same underlying problem while using the same AI system, but in different ways.
That might sound like a behind-the-scenes curiosity. It isn’t. In cryptography, proofs are not casual exercises. They are the substrate for trust, security assumptions, and downstream systems. When two separate sets of researchers arrive at proofs for the same target problem, it prompts a difficult question that matters to everyone who funds, reviews, and publishes research: how do we evaluate originality when AI tools are part of the workflow? In other words, even if two teams used different approaches, the shared tool can blur the boundary between independent insight and overlapping paths.
This is where incentives start to tug on everything around the lab. For researchers, proof is currency. Publication is career momentum. Credit is reputational capital that feeds future grants, collaborations, and hiring. For institutions, there is also a compliance and governance angle, even if the research itself is technical. Universities and research groups increasingly have to think about how AI tools are used, documented, and disclosed, because the line between “assistance” and “authorship” affects how findings are interpreted.
Scientific evaluation also relies on a social contract: results should be replicable and recognizable as the output of a specific intellectual effort. When AI systems are involved, that contract gets strained. Not because AI automatically creates identical work, but because it can accelerate common solution trajectories. In the Scientific American account, the MIT Ph.D. student and the two UC cryptographers used GPT-5.6 Sol Ultra differently, yet they ended up with proofs for the same cryptography problem. That combination is exactly what makes the credit debate uncomfortable. If they had used AI in only one shared way, it would be easier to attribute overlap. If they had used different tools, it would also be easier to argue independence. The reality in the report is messier: same AI system, different uses, same target problem.
Zoom out to the broader AI landscape and the pattern becomes easier to understand. GPT-5.6 Sol Ultra is an example of how frontier AI models can compress the time from question to candidate solution. That changes the practical economics of research. It can lower the barrier to entry for exploring complex mathematical spaces. But lower barriers also increase the number of teams attempting similar things, and it increases the odds that different groups will converge on related results. Convergence is not automatically a bad thing. In fact, it can be a signal that the community is moving toward clearer answers. The issue is attribution. Who gets recognized for the breakthrough if AI helps surface the path faster than humans alone typically would?
There is also a second-order effect that board members, research directors, and investment committees should care about, even if they are not funding cryptography proofs directly. As AI tools become embedded in research workflows, policies around disclosure and provenance become more important. Regulators and journal editors are not just worried about whether AI is “used,” but about whether the research record stays interpretable. If AI can influence methods and outputs, then documentation becomes part of research integrity. That means institutions may need clearer internal guidelines for how AI-assisted work is recorded, reviewed, and credited.
Finally, the stakes for peers in similar roles are straightforward: the credibility of scientific output depends on trust in the process, not only the correctness of the result. This report is a real-world case of that trust being tested. When two different groups produce proofs for the same cryptography problem while using GPT-5.6 Sol Ultra in different ways, the debate shifts from “can AI help?” to “how should we fairly assign credit, and how do we preserve the meaning of independent discovery?” In an era where AI assistance is increasingly normal, these questions are going to keep showing up, and they will shape careers, publications, and institutional reputations long after the proof itself is written.
This story's Key Insights and Take-aways are locked.
Create a free account to unlock Executive Actions for one credit.
Register to UnlockAlways free for Executives Club members. Join the Club
More in Science

Aspen stands slow wildfires, study finds, more than doubling fire-edge presence
Canada-wide satellite analysis shows trembling aspen buffers fire spread, even before leaves fully sprout.

Swift J1727.8−1613 jets flare, then keep blowing after feeding ends
A VLT watch of a 2023 black hole outburst shows dense winds persist long after the finale fireworks.

Nocs Provisions Lite View turns lunar eclipses into a grab-and-go scope, if you tripod
A 56mm, 9x-27x spotting scope can wow on the Moon and bright clusters, but not handheld at 27x.

