Amanda Silver is a corporate vice president at Microsoft’s CoreAI division, where she works on tools for deploying apps and agentic systems within enterprises.
In at least two cases, the AI tool was “able to construct an original and valid proof” to unsolved conjectures.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results