AI for Math Fund announcement

--0000000000001ab5b206288b219e
Content-Type: text/plain; charset="UTF-8"

The AI for Math Fund, sponsored by Renaissance Philanthropy and XTX
Markets, is a grant opportunity committing $9.2 million to research,
field-building and development of open-source tools and datasets in the
intersection of AI and mathematics.  Projects related to AI automation for
mathematical formal verification tools (including Mizar) are encouraged to
apply.

Links:

AI for Math Fund announcement
<https://renaissancephilanthropy.org/news-and-insights/renaissance-philanthropy-and-xtx-markets-launch-new-9-million-ai-for-math-fund/>
AI for Math Fund website
<https://renaissancephilanthropy.org/initiatives/ai-for-math-fund/>
Bloomberg article on AI for Math Fund
<https://www.bnnbloomberg.ca/business/technology/2024/12/05/billionaire-gerkos-xtx-gives-millions-to-make-ai-better-at-math/>
Terence Tao's blog post on AI for Math Fund
<https://terrytao.wordpress.com/2024/12/05/ai-for-math-fund/>

Please submit a brief application via webform
<https://airtable.com/appSh677zJHNiCdW7/pagSeCrgvihcU6dha/form> by *January
10, 2025.* Successful applicants will be invited to submit full proposals.
ReplyForward

--0000000000001ab5b206288b219e
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div style=3D"min-height:100%"><div class=3D"gmail-nH" sty=
le=3D"width:1709px"><div class=3D"gmail-nH" style=3D""><div class=3D"gmail-=
nH gmail-aqk gmail-aql gmail-bkL" style=3D"display:flex;background-color:tr=
ansparent"><div class=3D"gmail-nH gmail-bkK" style=3D"overflow:hidden"><div=
 class=3D"gmail-nH" style=3D"border-radius:16px;margin-bottom:16px;overflow=
-y:hidden"><div class=3D"gmail-nH gmail-ar4 gmail-z"><div class=3D"gmail-">=
<div class=3D"gmail-AO" style=3D""><div id=3D"gmail-:3" class=3D"gmail-Tm g=
mail-aeJ" style=3D"background-image:initial;background-position:initial;bac=
kground-size:initial;background-repeat:initial;background-origin:initial;ba=
ckground-clip:initial;overflow-y:scroll;padding-right:0px;height:766px"><di=
v id=3D"gmail-:1" class=3D"gmail-aeF" style=3D"padding:0px;vertical-align:b=
ottom;min-height:576px"><div class=3D"gmail-nH"><div class=3D"gmail-nH" rol=
e=3D"main"><div class=3D"gmail-nH gmail-g"><div class=3D"gmail-nH gmail-a98=
 gmail-iY" style=3D"background-image:initial;background-position:initial;ba=
ckground-size:initial;background-repeat:initial;background-origin:initial;b=
ackground-clip:initial;min-height:64ex;min-width:502px;margin:0px;padding-r=
ight:16px"><div class=3D"gmail-nH"><div class=3D"gmail-aHU gmail-hx" style=
=3D"background-color:transparent;min-width:502px;padding:0px"><div role=3D"=
list"><div class=3D"gmail-h7 gmail-ie" role=3D"listitem" aria-expanded=3D"t=
rue" tabindex=3D"-1" style=3D"padding-bottom:0px;max-width:100000px;clear:b=
oth;outline:none"><div class=3D"gmail-Bk" style=3D"margin-bottom:0px;border=
-width:0px;border-top-style:solid;border-right-style:initial;border-bottom-=
style:initial;border-left-style:initial;border-top-color:rgb(239,239,239);b=
order-right-color:initial;border-left-color:initial;border-bottom-color:ini=
tial;border-radius:0px;float:left;width:1297px"><div class=3D"gmail-G3 gmai=
l-G2" style=3D"border-top:none;padding-top:0px;background-color:transparent=
;border-right:0px;border-bottom:0px rgba(100,121,143,0.12);border-left:0px;=
border-radius:0px;margin-bottom:0px;margin-left:0px;margin-right:0px"><div>=
<div id=3D"gmail-:fux"><div class=3D"gmail-adn gmail-ads" style=3D"border-l=
eft:none;padding:0px;display:flex"><div class=3D"gmail-gs" style=3D"margin:=
0px;min-width:0px;padding:0px 0px 20px;width:initial"><div class=3D"gmail-"=
><div id=3D"gmail-:fua" class=3D"gmail-ii gmail-gt" style=3D"direction:ltr;=
margin:8px 0px 0px;padding:0px;font-size:0.875rem;overflow-x:hidden"><div i=
d=3D"gmail-:fut" class=3D"gmail-a3s gmail-aiL" style=3D"direction:ltr;font-=
variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternat=
es:normal;font-size-adjust:none;font-kerning:auto;font-feature-settings:nor=
mal;font-stretch:normal;font-size:small;line-height:1.5;overflow:auto hidde=
n"><div dir=3D"ltr">The AI for Math Fund, sponsored by Renaissance Philanth=
ropy and XTX Markets, is a grant opportunity committing $9.2 million to res=
earch, field-building and development of open-source tools and datasets in =
the intersection of AI and mathematics.=C2=A0 Projects related to AI automa=
tion for mathematical formal verification tools (including Mizar) are encou=
raged to apply.<div><br></div><div>Links:</div><div><br></div><div><a href=
=3D"https://renaissancephilanthropy.org/news-and-insights/renaissance-phila=
nthropy-and-xtx-markets-launch-new-9-million-ai-for-math-fund/" target=3D"_=
blank">AI for Math Fund announcement</a></div><div><a href=3D"https://renai=
ssancephilanthropy.org/initiatives/ai-for-math-fund/" target=3D"_blank">AI =
for Math Fund website</a></div><div><a href=3D"https://www.bnnbloomberg.ca/=
business/technology/2024/12/05/billionaire-gerkos-xtx-gives-millions-to-mak=
e-ai-better-at-math/" target=3D"_blank">Bloomberg article on AI for Math Fu=
nd</a></div><div><a href=3D"https://terrytao.wordpress.com/2024/12/05/ai-fo=
r-math-fund/" target=3D"_blank">Terence Tao&#39;s blog post on AI for Math =
Fund</a></div><div><br></div><div>Please submit a brief application via<a h=
ref=3D"https://airtable.com/appSh677zJHNiCdW7/pagSeCrgvihcU6dha/form" targe=
t=3D"_blank">=C2=A0webform=C2=A0</a>=C2=A0by=C2=A0<b>January 10, 2025.</b>=
=C2=A0Successful applicants will be invited to submit full proposals.</div>=
</div><div class=3D"gmail-yj6qo"></div><div class=3D"gmail-adL"></div></div=
></div></div></div><div class=3D"gmail-ajx" style=3D"clear:both"></div></di=
v><div class=3D"gmail-gA gmail-gt gmail-acV" style=3D"font-size:0.875rem;pa=
dding:0px;width:auto;border-bottom-left-radius:0px;border-bottom-right-radi=
us:0px;border-top:none;margin:0px;background:transparent"><div class=3D"gma=
il-gB gmail-xu" style=3D"border-top:0px;padding:0px"><div class=3D"gmail-ip=
 gmail-iq" style=3D"clear:both;margin:0px;padding:16px 0px;border-top:none"=
><div id=3D"gmail-:fub"><table class=3D"gmail-cf gmail-wS" role=3D"presenta=
tion" style=3D"border-collapse:collapse"><tbody><tr><td class=3D"gmail-amq"=
 style=3D"padding:0px 16px;vertical-align:top;width:44px"><img id=3D"gmail-=
:hn_552" name=3D"gmail-:hn" src=3D"https://lh3.googleusercontent.com/a/ACg8=
ocL4RPk_UErI9Hv16VqD4Qmf_dDXBKWiz9noVF73NWQ0f6MCdg=3Ds80-p-mo" class=3D"gma=
il-ajn gmail-bofPge" style=3D"width: 40px; height: 40px; border-radius: 50%=
; display: block;"></td><td class=3D"gmail-amr" style=3D"padding:0px;width:=
1225px"><div class=3D"gmail-nr gmail-wR" style=3D"padding:0px;box-sizing:bo=
rder-box;border-radius:1px;border:none;margin:0px"><div class=3D"gmail-amn"=
 style=3D"height:auto;padding:0px;display:flex;line-height:20px"><span id=
=3D"gmail-:fuy" role=3D"link" tabindex=3D"0" class=3D"gmail-ams gmail-bkH" =
style=3D"border:1px solid rgb(116,119,117);display:inline-flex;font-family:=
&quot;Google Sans&quot;,Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-=
size:0.875rem;background:none;border-radius:18px;box-sizing:border-box;colo=
r:rgb(68,71,70);height:36px;outline:none;padding:0px 16px 0px 12px;min-widt=
h:104px;margin-right:8px">Reply</span><span id=3D"gmail-:fuw" role=3D"link"=
 tabindex=3D"0" class=3D"gmail-ams gmail-bkG" style=3D"border:1px solid rgb=
(116,119,117);display:inline-flex;font-family:&quot;Google Sans&quot;,Robot=
o,RobotoDraft,Helvetica,Arial,sans-serif;font-size:0.875rem;background:none=
;border-radius:18px;box-sizing:border-box;color:rgb(68,71,70);height:36px;o=
utline:none;padding:0px 16px 0px 12px;min-width:104px;margin-right:8px">For=
ward</span></div></div></td></tr></tbody></table></div></div></div></div></=
div></div></div></div></div></div><div></div></div></div><div class=3D"gmai=
l-nH"><div class=3D"gmail-l2" style=3D"margin:0px 0px 16px;padding:0px 16px=
 440px;text-align:center;background-image:url(&quot;//ssl.gstatic.com/ui/v1=
/icons/mail/rfr/blank_2x.png&quot;);background-position:50% 50%;background-=
repeat:no-repeat;background-size:20px;min-height:56px"></div></div></div></=
div></div></div></div></div></div></div></div></div></div><div class=3D"gma=
il-nH"><div class=3D"gmail-aUx" style=3D"display:flex;height:814px"><div cl=
ass=3D"gmail-bAw gmail-bcf gmail-tRcrsc" style=3D"height:814px;min-width:56=
px;width:56px"><div class=3D"gmail-brC-aT5-aOt-Jw" role=3D"complementary" a=
ria-label=3D"Side panel" style=3D"background:rgb(246,248,252);border:none;b=
ox-sizing:border-box;display:flex;height:814px;width:56px"><div class=3D"gm=
ail-brC-aT5-aOt-bsf-Jw" style=3D"display:flex;margin-bottom:56px"><div clas=
s=3D"gmail-brC-bsf-aT5-aOt" role=3D"tablist" tabindex=3D"0" style=3D"height=
:100px;outline:none;overflow:hidden"><div id=3D"gmail-gsc-gab-6" class=3D"g=
mail-bse-bvF-I gmail-aT5-aOt-I gmail-bse-bvF-aLp" role=3D"tab" aria-label=
=3D"Calendar" aria-disabled=3D"false" aria-selected=3D"false" style=3D"heig=
ht:56px;outline:none;width:56px"><div class=3D"gmail-aT5-aOt-I-JX-atM gmail=
-aT5-aOt-I-JX-atM-Kv" style=3D"border-radius:50%;display:flex;height:40px;w=
idth:40px;border-color:rgb(232,240,254)"></div><div class=3D"gmail-aT5-aOt-=
I-JX-atM gmail-aT5-aOt-I-JX-atM-J6" style=3D"border-radius:50%;display:flex=
;height:40px;width:40px"></div><div class=3D"gmail-aT5-aOt-I-JX-Jw" style=
=3D"background-color:transparent;background-repeat:no-repeat;background-pos=
ition:50% 50%;background-size:20px 20px;border-radius:50%;display:flex;heig=
ht:40px;width:40px;background-image:url(&quot;https://www.gstatic.com/compa=
nion/icon_assets/calendar_2020q4_2x.png&quot;)"></div></div><div id=3D"gmai=
l-gsc-gab-2" class=3D"gmail-bse-bvF-I gmail-aT5-aOt-I gmail-bse-bvF-a9p" ro=
le=3D"tab" aria-label=3D"Keep" aria-disabled=3D"false" aria-selected=3D"fal=
se" style=3D"height:56px;outline:none;width:56px"><div class=3D"gmail-aT5-a=
Ot-I-JX-atM gmail-aT5-aOt-I-JX-atM-Kv" style=3D"border-radius:50%;display:f=
lex;height:40px;width:40px;border-color:rgb(254,247,224)"></div><div class=
=3D"gmail-aT5-aOt-I-JX-atM gmail-aT5-aOt-I-JX-atM-J6" style=3D"border-radiu=
s:50%;display:flex;height:40px;width:40px"></div><div class=3D"gmail-aT5-aO=
t-I-JX-Jw" style=3D"background-color:transparent;background-repeat:no-repea=
t;background-position:50% 50%;background-size:20px 20px;border-radius:50%;d=
isplay:flex;height:40px;width:40px;background-image:url(&quot;https://www.g=
static.com/companion/icon_assets/keep_2020q4v3_2x.png&quot;)"></div></div><=
div id=3D"gmail-gsc-gab-4" class=3D"gmail-bse-bvF-I gmail-aT5-aOt-I gmail-b=
se-bvF-aLp" role=3D"tab" aria-label=3D"Tasks" aria-disabled=3D"false" aria-=
selected=3D"false" style=3D"height:56px;outline:none;width:56px"><div class=
=3D"gmail-aT5-aOt-I-JX-atM gmail-aT5-aOt-I-JX-atM-Kv" style=3D"border-radiu=
s:50%;display:flex;height:40px;width:40px;border-color:rgb(232,240,254)"></=
div><div class=3D"gmail-aT5-aOt-I-JX-atM gmail-aT5-aOt-I-JX-atM-J6" style=
=3D"border-radius:50%;display:flex;height:40px;width:40px"></div><div class=
=3D"gmail-aT5-aOt-I-JX-Jw" style=3D"background-color:transparent;background=
-repeat:no-repeat;background-position:50% 50%;background-size:20px 20px;bor=
der-radius:50%;display:flex;height:40px;width:40px;background-image:url(&qu=
ot;https://www.gstatic.com/companion/icon_assets/tasks_2021_2x.png&quot;)">=
</div></div><div id=3D"gmail-gsc-gab-9" class=3D"gmail-bse-bvF-I gmail-aT5-=
aOt-I gmail-bse-bvF-aLp" role=3D"tab" aria-label=3D"Contacts" aria-disabled=
=3D"false" aria-selected=3D"false" style=3D"height:56px;outline:none;width:=
56px"><div class=3D"gmail-aT5-aOt-I-JX-atM gmail-aT5-aOt-I-JX-atM-Kv" style=
=3D"border-radius:50%;display:flex;height:40px;width:40px;border-color:rgb(=
232,240,254)"></div><div class=3D"gmail-aT5-aOt-I-JX-atM gmail-aT5-aOt-I-JX=
-atM-J6" style=3D"border-radius:50%;display:flex;height:40px;width:40px"></=
div><div class=3D"gmail-aT5-aOt-I-JX-Jw" style=3D"background-color:transpar=
ent;background-repeat:no-repeat;background-position:50% 50%;background-size=
:20px 20px;border-radius:50%;display:flex;height:40px;width:40px;background=
-image:url(&quot;https://www.gstatic.com/companion/icon_assets/contacts_202=
2_2x.png&quot;)"></div></div><div class=3D"gmail-brC-aT5-aOt-axR" role=3D"s=
eparator" aria-hidden=3D"false" aria-disabled=3D"true" id=3D"gmail-:hz" sty=
le=3D"border-top:1px solid rgb(225,227,225);margin:16px auto 0px;padding-bo=
ttom:16px;width:20px;border-right-color:rgb(225,227,225);border-bottom-colo=
r:rgb(225,227,225);border-left-color:rgb(225,227,225)"></div><div class=3D"=
gmail-bse-bvF-I gmail-aT5-aOt-I" role=3D"tab" aria-label=3D"YAMM for Gmail=
=E2=84=A2" aria-selected=3D"false" id=3D"gmail-AKfycby4-AggBX_XwnKhg5x9UBdt=
LaJTx10VPBeU9fzDcoA88O86TcT_Bo4PWDqehcx87CZl:3" style=3D"height:56px;outlin=
e:none;width:56px"><div class=3D"gmail-aT5-aOt-I-JX-atM gmail-aT5-aOt-I-JX-=
atM-Kv" style=3D"border-radius:50%;display:flex;height:40px;width:40px;bord=
er-color:rgb(232,240,254)"></div><div class=3D"gmail-aT5-aOt-I-JX-atM gmail=
-aT5-aOt-I-JX-atM-J6" style=3D"border-radius:50%;display:flex;height:40px;w=
idth:40px"></div><div class=3D"gmail-aT5-aOt-I-JX-Jw" style=3D"background-c=
olor:transparent;background-repeat:no-repeat;background-position:50% 50%;ba=
ckground-size:20px 20px;border-radius:50%;display:flex;height:40px;width:40=
px;background-image:url(&quot;https://storage.googleapis.com/yamm-ressource=
s/Images/YAMM_128_128.png&quot;)"></div></div><div class=3D"gmail-bse-bvF-I=
 gmail-aT5-aOt-I" role=3D"tab" aria-label=3D"Zoom for Google Workspace=E2=
=84=A2=EF=B8=8F" aria-selected=3D"false" id=3D"gmail-AKfycbzZhcie8fsTlJemoe=
g_LLVycntbbAWxG6G_HdmYZfxoZpdSG88RLZ6zHsO0hGw0-dl61w:3" style=3D"height:56p=
x;outline:none;width:56px"><div class=3D"gmail-aT5-aOt-I-JX-atM gmail-aT5-a=
Ot-I-JX-atM-Kv" style=3D"border-radius:50%;display:flex;height:40px;width:4=
0px;border-color:rgb(232,240,254)"></div><div class=3D"gmail-aT5-aOt-I-JX-a=
tM gmail-aT5-aOt-I-JX-atM-J6" style=3D"border-radius:50%;display:flex;heigh=
t:40px;width:40px"></div><div class=3D"gmail-aT5-aOt-I-JX-Jw" style=3D"back=
ground-color:transparent;background-repeat:no-repeat;background-position:50=
% 50%;background-size:20px 20px;border-radius:50%;display:flex;height:40px;=
width:40px;background-image:url(&quot;https://lh3.googleusercontent.com/pw/=
AM-JKLUkiyTEgH-6DiQP85RGtd_BORvAuFnS9katNMgwYQBJUTiDh12qtQxMJFWYH2Dj30hNsNU=
rr-kzKMl7jX-Qd0FR7JmVSx-Fhruf8xTPPI-wdsMYez6WJE7tz7KmqsORKBEnBTiILtMJXuMvph=
qKdB9X=3Ds128-no&quot;)"></div></div><div class=3D"gmail-bse-bvF-I gmail-aT=
5-aOt-I" role=3D"tab" aria-label=3D"Get Add-ons" aria-selected=3D"false" id=
=3D"gmail-qJTzr" style=3D"height:56px;outline:none;width:56px"><div class=
=3D"gmail-aT5-aOt-I-JX-atM gmail-aT5-aOt-I-JX-atM-Kv" style=3D"border-radiu=
s:50%;display:flex;height:40px;width:40px;border-color:rgb(232,240,254)"></=
div><div class=3D"gmail-aT5-aOt-I-JX-atM gmail-aT5-aOt-I-JX-atM-J6" style=
=3D"border-radius:50%;display:flex;height:40px;width:40px"></div><div class=
=3D"gmail-aT5-aOt-I-JX-Jw" style=3D"background-color:transparent;background=
-repeat:no-repeat;background-position:50% 50%;background-size:20px 20px;bor=
der-radius:50%;display:flex;height:40px;width:40px;background-image:url(&qu=
ot;https://fonts.gstatic.com/s/i/googlematerialicons/add/v21/black-24dp/1x/=
gm_add_black_24dp.png&quot;)"></div></div></div></div></div><div class=3D"g=
mail-brC-dA-I-Jw" style=3D"display:flex;height:56px;overflow:hidden;width:5=
6px"><div class=3D"gmail-aT5-aOt-I gmail-brC-dA-I" role=3D"button" aria-lab=
el=3D"Hide side panel" aria-disabled=3D"false" tabindex=3D"0" style=3D"heig=
ht:56px;outline:none;width:56px"><div class=3D"gmail-aT5-aOt-I-JX-atM" styl=
e=3D"display:flex;height:40px;width:40px"></div><div class=3D"gmail-aT5-aOt=
-I-JX-Jw" style=3D"background-color:transparent;background-repeat:no-repeat=
;background-position:50% 50%;background-size:20px 20px;display:flex;height:=
40px;width:40px"></div></div></div></div></div></div></div></div></div></di=
v><div class=3D"gmail-vY gmail-nq" style=3D"width:1709px;height:894px"></di=
v><div><div></div></div><div class=3D"gmail-dw" style=3D"width:1709px;heigh=
t:894px;overflow:hidden"><div><div class=3D"gmail-nH" style=3D"width:1709px=
"><div class=3D"gmail-nH gmail-VL" style=3D"height:894px"><div class=3D"gma=
il-no" style=3D"float:right;display:flex"><div class=3D"gmail-nH gmail-nn" =
style=3D"min-height:1px;float:left;width:56px"></div><div class=3D"gmail-nH=
 gmail-nn" style=3D"min-height:1px;float:left;width:333px;height:894px"><di=
v class=3D"gmail-no" style=3D"float:left"><div class=3D"gmail-nH gmail-nn" =
style=3D"min-height:1px;float:left;width:328px;height:894px"><div class=3D"=
gmail-AD" style=3D"width:328px"><div class=3D"gmail-nH"><div class=3D"gmail=
-nH gmail-Hd" role=3D"dialog" aria-labelledby=3D":2bx" style=3D"border-radi=
us:8px 8px 0px 0px"><div class=3D"gmail-nH" style=3D"color:rgb(32,33,36);fo=
nt-family:&quot;Google Sans&quot;,Roboto,RobotoDraft,Helvetica,Arial,sans-s=
erif;font-size:medium;background-color:rgb(246,248,252)"><div tabindex=3D"1=
" style=3D"background-color:transparent"></div></div><div class=3D"gmail-nH=
 gmail-Hy gmail-aXJ" style=3D"color:rgb(32,33,36);font-family:&quot;Google =
Sans&quot;,Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:medium;b=
ackground-color:rgb(246,248,252)"><div class=3D"gmail-nH"><div class=3D"gma=
il-l gmail-m" style=3D"float:none;width:328px;background:rgb(242,246,252);b=
order-radius:8px 8px 0px 0px"><div class=3D"gmail-l gmail-n" style=3D"backg=
round:none;border-radius:8px 8px 0px 0px;margin:0px 0px 0px 3px"><div class=
=3D"gmail-k" style=3D"background:none;padding:0px 0px 4px;border-radius:8px=
 0px 0px;margin:0px 3px 0px 0px"><div class=3D"gmail-aCk"><br class=3D"gmai=
l-Apple-interchange-newline"></div></div></div></div></div></div></div></di=
v></div></div></div></div></div></div></div></div></div></div>

--0000000000001ab5b206288b219e--