#expMath
LightNews LightNews
kriptabiz.bsky.social
ExpMath: Революция в мире чистой математики с помощью искусственного интеллекта

https://kripta.biz/posts/DCE061FB-0786-4A3F-B118-1E99D812DF7F
October 1, 2025 at 5:25 AM
crisparkle.com
@darpa.mil Common Artificial Intelligence Formulas: I believe that we may need a new form of math to address “Artificial Intelligence” and eventually “Artificial General Intelligence.” DARPA suggested ExpMath to address some of the complexities of mathematical formulas in AI. I think they’re right!🙂
March 24, 2025 at 12:45 PM
patrickshafto.bsky.social
The Exponentiating Mathematics (expMath) program BAA has dropped!

sam.gov/opp/869c8d73...

Abstracts due May 15. Be sure to register on the submission website well in advance! (A few days ahead!)
April 30, 2025 at 6:49 PM
patrickshafto.bsky.social
Article about my new AI for pure math program, expMath, on slashdot: Could a 'Math Genius' AI Co-author Proofs Within Three Years? slashdot.org/story/25/04/... via @slashdot
Could a 'Math Genius' AI Co-author Proofs Within Three Years? - Slashdot
A new DARPA project called expMath "aims to jumpstart math innovation with the help of AI," writes The Register. America's "Defense Advanced Research Projects Agency" believes mathematics isn't adva...
slashdot.org
April 28, 2025 at 3:38 PM
krassotkin.bsky.social
The goal of Exponentiating Mathematics (expMath) is to radically accelerate the rate of progress in pure mathematics by developing an AI co-author capable of proposing and proving useful abstractions.

#Math #DARPA #AI #AIMath #TechFuture
June 8, 2025 at 8:34 AM
crisparkle.com
Epiphany: Common Artificial Intelligence Formulas: I believe that we may need a new form of math to address “Artificial Intelligence” and eventually “Artificial General Intelligence.” DARPA suggested ExpMath to address some of the complexities of mathematical formulas in AI.

tinyurl.com/2bybk7sz
Shown is a series of calculus mathematical formulas used for determining probability results in Artificial Intelligence large language modeling. Imagines of various statistical formulas explaining the need for a new form of math discussed by DARPA.
March 24, 2025 at 12:40 PM
krassotkin.bsky.social
DARPA’s expMath is building AI to be a true collaborator in math—automating proofs, bridging language and logic, and accelerating breakthroughs. Paired with advances in AI reasoning, this could reshape how we solve the hardest problems in science: www.darpa.mil/research/pro...

#Math #DARPA #AIMath
www.darpa.mil
June 8, 2025 at 8:34 AM
kururumath.bsky.social
なんかDARPAがAIを数学に応用するという"ExpMath: Exponentiating Mathematics"と名付けられたプログラムをやるよと言っています。要するに「数学の進歩を指数関数的に加速する！」というお題目の計画で、なぜDARPAがそんなに前のめりなのかわからないんですが、とにかくそういうのがあります。

www.darpa.mil/research/pro...
www.darpa.mil
May 9, 2025 at 12:25 AM
teorth.bsky.social
DARPA's "Exponentiating mathematics" (expMath) program, which is launching a challenge to develop and evaluate "AI collaborators" for assist in decomposing and formalizing informal mathematical proofs, is now taking short abstract proposal submissions: sam.gov/opp/869c8d73...
SAM.gov
sam.gov
May 1, 2025 at 5:36 PM
waynerad.bsky.social
DARPA's project, "Exponentiating Mathematics" or "expMath", aims "to radically accelerate the rate of progress in pure mathematics by developing an AI co-author capable of proposing and proving useful abstractions."

www.theregister.com/AMP/2025/04/...
DARPA to 'radically' rev up mathematics research. Yes, with AI
: Now that's a sum of all fears
www.theregister.com
May 1, 2025 at 8:35 PM
thedoctor512.mastodon.social.ap.brid.gy
DARPA startet das Programm expMath:
KI soll künftig eigenständig mathematische Sätze formulieren, formalisieren und beweisen.
Ziel: Einen Durchbruch in der KI-gestützten Mathematikforschung erreichen.
#darpa #ai #mathematics #research #innovation #expmath
April 28, 2025 at 2:31 PM
patrickshafto.bsky.social
Excited to have my @darpa.mil program on AI for pure math, Exponentiating Mathematics, featured in @technologyreview.com! #expMath
technologyreview.com MIT Technology Review @technologyreview.com · Jun 4
The last year has seen rapid progress in the ability of large language models to tackle math at high school level and beyond. Is AI closing in on human mathematicians?
What’s next for AI and math
The last year has seen rapid progress in the ability of large language models to tackle math at high school level and beyond. Is AI closing in on human mathematicians?
www.technologyreview.com
June 4, 2025 at 10:52 PM
patrickshafto.bsky.social
Excited to have my @darpa.mil program on AI for pure math, Exponentiating Mathematics, featured in @technologyreview.com! #expMath
technologyreview.com MIT Technology Review @technologyreview.com · Jun 4
The last year has seen rapid progress in the ability of large language models to tackle math at high school level and beyond. Is AI closing in on human mathematicians?
What’s next for AI and math
The last year has seen rapid progress in the ability of large language models to tackle math at high school level and beyond. Is AI closing in on human mathematicians?
www.technologyreview.com
June 4, 2025 at 10:52 PM
patrickshafto.bsky.social
Proposer's day for expMath has dropped!

Accelerate progress in pure math via AI capable of proposing and proving useful abstractions

Teams either:
- develop AI capable of auto decomposition and auto(in)formalization
- evaluate with respect to professional math
March 26, 2025 at 8:24 PM
lean-lang.org
Congrats! We're excited to see what projects come from expMath!
June 19, 2025 at 3:17 PM
qiancx.bsky.social
突破数学研究新纪元：探索DARPA的Exponentiating Mathematics (ExpMath)计划

https://qian.cx/posts/FD5D0A2B-DB88-4082-9946-2202F7D650F9
May 28, 2025 at 12:02 AM
patrickshafto.bsky.social
Super excited: my new @darpa program on AI for pure mathematics!

Exponentiating Mathematics (expMath) aims to accelerate the rate of progress in pure math through the development of an AI collaborator and new professional-level math benchmarks.

sam.gov/opp/4def3c13...
February 7, 2025 at 4:58 PM
crisparkle.com
Epiphany: Common Artificial Intelligence Formulas: I believe that we may need a new form of math to address “Artificial Intelligence” and eventually “Artificial General Intelligence.” DARPA suggested ExpMath to address some of the complexities of mathematical formulas in AI.

tinyurl.com/2bybk7sz
September 1, 2025 at 9:32 AM
mrtechking.bsky.social
LLMs are rapidly tackling high-level math and beyond. Is AI closing in on human mathematicians? DARPA's new expMath initiative aims to modernize this crucial field, often traditional, to speed up vital breakthroughs.
#AIMath #TechFuture #DARPA
brief alt text description of the first image
June 4, 2025 at 9:32 AM
thedoctor512.bsky.social
DARPA startet das Programm expMath:
KI soll künftig eigenständig mathematische Sätze formulieren, formalisieren und beweisen.
Ziel: Einen Durchbruch in der KI-gestützten Mathematikforschung erreichen.
#DARPA #AI #Mathematics #Research #Innovation #expMath
April 28, 2025 at 2:30 PM
krassotkin.bsky.social
AI is shifting from just crunching numbers to "action models"—systems that can reason, predict, and act in the real world. Combined with new math-focused AI (like DARPA’s expMath), this could supercharge scientific discovery in the next decade: www.technologyreview.com/2025/06/04/1...

#Math #DARPA
What’s next for AI and math
The last year has seen rapid progress in the ability of large language models to tackle math at high school level and beyond. Is AI closing in on human mathematicians?
www.technologyreview.com
June 8, 2025 at 8:34 AM
qiancx.bsky.social
ExpMath项目：借助人工智能加速纯数学研究的新时代

https://qian.cx/posts/1833B457-5DC1-46B5-B114-55DF146BA66A
October 1, 2025 at 5:24 AM
patrickshafto.bsky.social
NY times article on expMath, my AI for math
@darpa.mil program, with commentary from mathematicians Andrew Granville, Bryna Kra, Jordan Ellenberg, and context from IAS professor @alondra.bsky.social ocial and @anthropic.com CEO @darioamodei.bsky.social

www.nytimes.com/2025/06/19/s...
Can A.I. Quicken the Pace of Math Discovery?
www.nytimes.com
June 19, 2025 at 2:06 PM