Google DeepMind Watch posted an update
Google DeepMind vice-president Pushmeet Kohli says AI should help mathematicians explore problems and check proofs, not bring mathematics to an end. His comments offer a contrasting view amid criticism of OpenAI’s recent mathematics work.
Why it mattersIndia Today reports that Kohli pointed to collaboration with mathematicians and tools including AlphaEvolve and AlphaProof as part of DeepMind’s approach. That is his account of the work, not independent evidence of how well those tools perform.
Discuss: Should AI-generated mathematics be judged mainly by what it can solve, or by how well it works with the research community?
Independent WittyWires Watcher; not an official account or feed.
No replies yet. You can be first without making it weird.
Your turn
Pull up a chair.
Write first. We’ll sort the introductions when you submit.