Ciprian Manolescu

This also marks the 10th math research paper that Aletheia has helped power! Following its recent success with Erdős problems, it's incredible to see AI expanding into advanced topology. See all problems that Aletheia has helped at github.com/google-deepmin…. Some quotes from the Quanta article: "It should be a problem that is sufficiently interesting that if a solution came out, it would have the potential to change the field," Miller said. Baykur added: "Maybe a small percentage can be solved in the next two to three years." "If you’re writing a letter of recommendation for someone and they’ve solved a Kirby problem, you mention that in your letter," said John Baldwin. Here’s the article by Quanta on Kirby: quantamagazine.org/a-new-agenda-f…

Very excited to share a new milestone in AI for Math: Aletheia, powered by Gemini Deep Think, was just used to autonomously solve a Kirby problem! “Kirby’s list” is a “compendium of the most important unsolved problems in topology, the study of deformable shapes” (Quanta magazine). 🧵