#anandkumar
In a recent interview I talk about what it takes for AI to make new scientific discoveries. tldr: it won’t be just LLMs. www.newindiaabroad.com/english/tech...
Indian American professor Anima Anandkumar on developing AI for new scientific discoveries
Learn how Indian American professor Anima Anandkumar is revolutionizing the world of artificial intelligence to drive new scientific discoveries. Explore her cutting-edge research and innovative appro...
www.newindiaabroad.com
May 25, 2025 at 11:26 PM
More than that, it's the fact that this happened extremely fast, using models that only got good enough to even fathom this sort of thing about six months ago.

Tao has been doing writeups:

mathstodon.xyz/@tao/1172341...
Terence Tao (@tao@mathstodon.xyz)
By sheer coincidence, another completely independent result on the Euler blowup question has just been released by Ganeshram, Duruisseaux, and Anandkumar https://anima-ai.org/2026/09/07/stable-singula...
mathstodon.xyz
September 8, 2026 at 10:48 AM
“Anandkumar found 13 areas of deficiency in CoreCivic’s healthcare program in California City. Among them were inadequate emergency care, dental care and chronic disease management. The monitor also found that the facility did not provide timely access to prescribed medications. “
cal.news/4z3Zk1x
July 31, 2026 at 4:19 AM
Anima Anandkumar, Bren Professor of Computing and Mathematical Sciences at Caltech, and her colleagues have introduced a new machine learning model called NucleusDiff.

www.caltech.edu/about/news/n...
New AI Model for Drug Design Brings More Physics to Bear in Predictions
Anima Anandkumar and colleagues have added simple physics to their machine learning–based drug-design tool, NucleusDiff
www.caltech.edu
October 21, 2025 at 6:04 PM
Honored to be named one of the 100 most influential people in AI by Time right on the heels of the public launch of our company @acceleratedunderstanding.com Excited to see new inventions and discoveries this will unlock! #TIME100AI time.com/collection/t...
TIME100 AI 2026: Anima Anandkumar
Find out why Anima Anandkumar made TIME’s list of the most influential people in artificial intelligence
time.com
August 30, 2026 at 3:00 AM
Anima Anandkumar says students should "go after hard problems," warns bad coders will be replaced, and says scientists aren't going anywhere.
A Caltech professor who led Nvidia's AI lab says AI can't replace this one skill
Anima Anandkumar says students should "go after hard problems," warns bad coders will be replaced, and says scientists aren't going anywhere.
www.businessinsider.com
May 6, 2025 at 11:24 AM
Interestingly, there are not one but two breakthroughs from openly human-led teams related to NS. BOT have released incomplete proofs early to maneuver around the openai "scoop". (The other is from Anima Anandkumar's group and has less drama involved.)
Terence Tao (@tao@mathstodon.xyz)
By sheer coincidence, another completely independent result on the Euler blowup question has just been released by Ganeshram, Duruisseaux, and Anandkumar https://anima-ai.org/2026/09/07/stable-singula...
mathstodon.xyz
September 8, 2026 at 6:44 PM
We're pleased to announce that Sakana AI is co-hosting the “AI for Science: Algorithms to Atoms” social event and panel discussion during #NeurIPS2025 with Yann LeCun, Bill Dally, Anima Anandkumar, and Max Welling!

If you'll be at NeurIPS San Diego, here’s the link to join: luma.com/AI-for-Scien...
I’m co-organizing an “AI for Science: Algorithms to Atoms” social event during #NeurIPS2025 with Yann LeCun, Anima Anandkumar, Bill Dally, and Max Welling. If you want to talk about AI Scientist, World Models, the future of AI-driven discovery, come by on Dec 5 3:30pm PT!

luma.com/AI-for-Scien...
November 24, 2025 at 2:02 AM
November 18, 2025 at 7:19 PM
LeanAgent: Lifelong learning for formal theorem proving. ~ Adarsh Kumarappan, Mo Tiwari, Peiyang Song, Robert Joseph George, Chaowei Xiao, Anima Anandkumar. arxiv.org/abs/2410.06209 #LLMs #ITP #LeanProver #Math
LeanAgent: Lifelong Learning for Formal Theorem Proving
Large Language Models (LLMs) have been successful in mathematical reasoning tasks such as formal theorem proving when integrated with interactive proof assistants like Lean. Existing approaches involv...
arxiv.org
March 13, 2025 at 7:42 AM
Kurth, Rietmann, Bisson, Paris, Carpentieri, Kossaifi, Anandkumar, Hundt, Bonev: A library for differentiable signal processing and machine learning on the sphere https://arxiv.org/abs/2609.39737 https://arxiv.org/pdf/2609.39737 https://arxiv.org/html/2609.39737
October 1, 2026 at 6:45 AM
Yubo Cao, Xi Deng, Mengqi Xia, Vignesh Gopakumar, Ander Gray, Anima Anandkumar: PTNO: Training Neural Operators with Noisy Monte Carlo Estimates for Particle Transport Problems https://arxiv.org/abs/2609.40090 https://arxiv.org/pdf/2609.40090 https://arxiv.org/html/2609.40090
October 1, 2026 at 6:40 AM
Currently in FirstView: In “Analyzing Political Text at Scale with Online Tensor LDA,” @sarakangaslahti.bsky.social, Danny Ebanks, @jeankossaifi.bsky.social, Anqi Liu, @rmichaelalvarez.bsky.social, and Anima Anandkumar introduce a topic modeling method that scales linearly to billions of documents.
December 23, 2025 at 5:35 PM
I’m co-organizing an “AI for Science: Algorithms to Atoms” social event during #NeurIPS2025 with Yann LeCun, Anima Anandkumar, Bill Dally, and Max Welling. If you want to talk about AI Scientist, World Models, the future of AI-driven discovery, come by on Dec 5 3:30pm PT!

luma.com/AI-for-Scien...
November 24, 2025 at 1:52 AM
2
The monitor appointed by the court, Dr. Muthusamy Anandkumar, spent three days inside the California City Detention Facility in the Mojave Desert in May, interviewed 40 patients and more than a dozen staff, and reviewed 141 medical records. He wrote that the facility lacks a reliable system
August 10, 2026 at 12:39 PM
Rayhan and I are presenting today our work on "Diffusion-State Guided Projected Gradient for Inverse Problems." at the D3S3 Workshop. Joint work with Dr. Anima Anandkumar #AInScience #NeurIPS2024 [1/6]

Paper: arxiv.org/abs/2410.03463
December 15, 2024 at 5:00 PM
TIME named Bren Professor of Computing and Mathematical Sciences, Anima Anandkumar, to the 2026 TIME100 AI, a list recognizing the 100 most influential people in artificial intelligence. #TIME100AI

See the full list here: time.com/time100ai
August 27, 2026 at 1:59 PM
Congrats, Professors Anandkumar and Gao on being named finalists for the Blavatnik National Awards for Young Scientists!
www.eas.caltech.edu/news/anima-a...
Anima Anandkumar and Wei Gao Named Finalists for the 2024 Blavatnik National Awards for Young Scientists
The Blavatnik National Awards for Young Scientists, established in 2007, recognize exceptional young scientists across the life sciences, physical sciences, engineering, and chemistry, providing criti...
www.eas.caltech.edu
September 13, 2024 at 9:13 PM
I just found out that @anima-anandkumar.bsky.social joined Bluesky on March 12, 2025! That's 1 year, 3 months, 25 days ago!

Discover when anyone joined: @whendidtheyjoin.bsky.social

www.inquizitriv.com/when-did-the...

#AnandKumar #Ai #MachineLearning #Nvidia #AIResearch
July 6, 2026 at 6:34 PM
Thank you EO for coming to @caltech.edu interviewing me on #ai I talk about the need to keep being curious and use AI as a tool, rather than being afraid of AI. I talk about AI for scientific modeling and discovery, and training the first high-resolution AI-based weather model. youtu.be/FIxLJVthW6I
Caltech AI Professor: The One Skill AI Can't Replace | Anima Anandkumar
YouTube video by EO
youtu.be
May 4, 2025 at 8:41 PM
“Despite the allure of A.I. hallucinations for discovery, some scientists find the word itself misleading...the physical grounding in reliable facts can produce highly accurate outcomes…’You need to test it,’ Dr. Anandkumar said… ‘Something newly designed by A.I. hallucinations requires testing.’”
How Hallucinatory A.I. Helps Science Dream Up Big Breakthroughs (Gift Article)
Hallucinations, a bane of popular A.I. programs, turn out to be a boon for venturesome scientists eager to push back the frontiers of human knowledge.
www.nytimes.com
December 26, 2024 at 2:22 PM
Lean Copilot: Large language models as copilots for theorem proving in Lean. ~ Peiyang Song, Kaiyu Yang, Anima Anandkumar. arxiv.org/abs/2404.12534 #LLMs #ITP #LeanProver
Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
Neural theorem proving combines large language models (LLMs) with proof assistants such as Lean, where the correctness of formal proofs can be rigorously verified, leaving no room for hallucination. W...
arxiv.org
May 14, 2025 at 6:46 AM
Lean Copilot: Large language models as copilots for theorem proving in Lean. ~ Peiyang Song, Kaiyu Yang, Anima Anandkumar. arxiv.org/abs/2404.12534 #LLMs #ITP #LeanProver
Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
Neural theorem proving combines large language models (LLMs) with proof assistants such as Lean, where the correctness of formal proofs can be rigorously verified, leaving no room for hallucination. W...
arxiv.org
March 4, 2025 at 8:21 AM