Grady Booch@booch.com3wThe number of mathematicians around the world currently undergoing deep soul-searching is a non-small number.328
João@jpsc.devopenai.com/index/sharin...openai.comSharing AI progress in mathematicsOpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.7/10/26, 9:21 am·0 reposts·1 like
%20--%3E%3Cmetadata%20xmlns%3Ardf%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2F02%2F22-rdf-syntax-ns%23%22%20xmlns%3Axsi%3D%22http%3A%2F%2Fwww.w3.org%2F2001%2FXMLSchema-instance%22%20xmlns%3Adc%3D%22http%3A%2F%2Fpurl.org%2Fdc%2Felements%2F1.1%2F%22%20xmlns%3Adcterms%3D%22http%3A%2F%2Fpurl.org%2Fdc%2Fterms%2F%22%3E%3Crdf%3ARDF%3E%3Crdf%3ADescription%3E%3Cdc%3Atitle%3EShadows%3C%2Fdc%3Atitle%3E%3Cdc%3Acreator%3EDiceBear%3C%2Fdc%3Acreator%3E%3Cdc%3Asource%20xsi%3Atype%3D%22dcterms%3AURI%22%3Ehttps%3A%2F%2Fwww.dicebear.com%3C%2Fdc%3Asource%3E%3Cdcterms%3Alicense%20xsi%3Atype%3D%22dcterms%3AURI%22%3Ehttps%3A%2F%2Fcreativecommons.org%2Fpublicdomain%2Fzero%2F1.0%2F%3C%2Fdcterms%3Alicense%3E%3Cdc%3Arights%3E%E2%80%9CShadows%E2%80%9D%20(https%3A%2F%2Fwww.dicebear.com)%20by%20%E2%80%9CDiceBear%E2%80%9D%2C%20licensed%20under%20%E2%80%9CCC0%201.0%E2%80%9D%20(https%3A%2F%2Fcreativecommons.org%2Fpublicdomain%2Fzero%2F1.0%2F)%3C%2Fdc%3Arights%3E%3C%2Frdf%3ADescription%3E%3C%2Frdf%3ARDF%3E%3C%2Fmetadata%3E%3Cdefs%3E%3Cg%20id%3D%22shoulders-narrow-2087ca67%22%3E%3Cpath%20d%3D%22M11%2050C11%2018%2023.6%200%2039%200s28%2018%2028%2050Z%22%20fill%3D%22%23345945%22%2F%3E%3C%2Fg%3E%3Cg%20id%3D%22tops-bun-2087ca67%22%3E%3Cg%3E%3Cellipse%20cx%3D%2228%22%20cy%3D%2231%22%20rx%3D%2221%22%20ry%3D%2219%22%20fill%3D%22%23345945%22%2F%3E%3Ccircle%20cx%3D%2236%22%20cy%3D%2210%22%20r%3D%227%22%20fill%3D%22%23345945%22%2F%3E%3C%2Fg%3E%3C%2Fg%3E%3Cg%20id%3D%22heads-taper-2087ca67%22%3E%3Cuse%20transform%3D%22translate(3%203)%20rotate(6%2C%2028%2C%2025)%22%20href%3D%22%23tops-bun-2087ca67%22%2F%3E%3Cpath%20d%3D%22M31%2019c12%200%2019%207%2019%2016%200%2012-9%2022-19%2022S12%2047%2012%2035c0-9%207-16%2019-16%22%20fill%3D%22%23345945%22%2F%3E%3C%2Fg%3E%3CclipPath%20id%3D%22clip-2087ca67%22%3E%3Crect%20width%3D%22100%22%20height%3D%22100%22%20rx%3D%220%22%20ry%3D%220%22%2F%3E%3C%2FclipPath%3E%3C%2Fdefs%3E%3Cg%20clip-path%3D%22url(%23clip-2087ca67)%22%3E%3Crect%20width%3D%22100%22%20height%3D%22100%22%20fill%3D%22%23deedc2%22%2F%3E%3Cuse%20transform%3D%22translate(11%2051)%22%20href%3D%22%23shoulders-narrow-2087ca67%22%2F%3E%3Cuse%20transform%3D%22translate(19%201)%22%20href%3D%22%23heads-taper-2087ca67%22%2F%3E%3C%2Fg%3E%3C%2Fsvg%3E)
%20--%3E%3Cmetadata%20xmlns%3Ardf%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2F02%2F22-rdf-syntax-ns%23%22%20xmlns%3Axsi%3D%22http%3A%2F%2Fwww.w3.org%2F2001%2FXMLSchema-instance%22%20xmlns%3Adc%3D%22http%3A%2F%2Fpurl.org%2Fdc%2Felements%2F1.1%2F%22%20xmlns%3Adcterms%3D%22http%3A%2F%2Fpurl.org%2Fdc%2Fterms%2F%22%3E%3Crdf%3ARDF%3E%3Crdf%3ADescription%3E%3Cdc%3Atitle%3EShadows%3C%2Fdc%3Atitle%3E%3Cdc%3Acreator%3EDiceBear%3C%2Fdc%3Acreator%3E%3Cdc%3Asource%20xsi%3Atype%3D%22dcterms%3AURI%22%3Ehttps%3A%2F%2Fwww.dicebear.com%3C%2Fdc%3Asource%3E%3Cdcterms%3Alicense%20xsi%3Atype%3D%22dcterms%3AURI%22%3Ehttps%3A%2F%2Fcreativecommons.org%2Fpublicdomain%2Fzero%2F1.0%2F%3C%2Fdcterms%3Alicense%3E%3Cdc%3Arights%3E%E2%80%9CShadows%E2%80%9D%20(https%3A%2F%2Fwww.dicebear.com)%20by%20%E2%80%9CDiceBear%E2%80%9D%2C%20licensed%20under%20%E2%80%9CCC0%201.0%E2%80%9D%20(https%3A%2F%2Fcreativecommons.org%2Fpublicdomain%2Fzero%2F1.0%2F)%3C%2Fdc%3Arights%3E%3C%2Frdf%3ADescription%3E%3C%2Frdf%3ARDF%3E%3C%2Fmetadata%3E%3Cdefs%3E%3Cg%20id%3D%22shoulders-square-f9fb9681%22%3E%3Cpath%20d%3D%22M4%2050V17C4%209%2010%203%2018%203h42c8%200%2014%206%2014%2014v33Z%22%20fill%3D%22%23733662%22%2F%3E%3C%2Fg%3E%3Cg%20id%3D%22tops-flat-f9fb9681%22%3E%3Cpath%20d%3D%22M12.5%2036V14q0-4%204-4h23q4%200%204%204v22q-15.5%207-31%200%22%20fill%3D%22%23733662%22%2F%3E%3C%2Fg%3E%3Cg%20id%3D%22heads-taper-f9fb9681%22%3E%3Cuse%20transform%3D%22translate(3%203)%20rotate(-3%2C%2028%2C%2025)%22%20href%3D%22%23tops-flat-f9fb9681%22%2F%3E%3Cpath%20d%3D%22M31%2019c12%200%2019%207%2019%2016%200%2012-9%2022-19%2022S12%2047%2012%2035c0-9%207-16%2019-16%22%20fill%3D%22%23733662%22%2F%3E%3C%2Fg%3E%3CclipPath%20id%3D%22clip-f9fb9681%22%3E%3Crect%20width%3D%22100%22%20height%3D%22100%22%20rx%3D%220%22%20ry%3D%220%22%2F%3E%3C%2FclipPath%3E%3C%2Fdefs%3E%3Cg%20clip-path%3D%22url(%23clip-f9fb9681)%22%3E%3Crect%20width%3D%22100%22%20height%3D%22100%22%20fill%3D%22%23e3e6ed%22%2F%3E%3Cuse%20transform%3D%22translate(11%2051)%22%20href%3D%22%23shoulders-square-f9fb9681%22%2F%3E%3Cuse%20transform%3D%22translate(19%201)%22%20href%3D%22%23heads-taper-f9fb9681%22%2F%3E%3C%2Fg%3E%3C%2Fsvg%3E)
%20--%3E%3Cmetadata%20xmlns%3Ardf%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2F02%2F22-rdf-syntax-ns%23%22%20xmlns%3Axsi%3D%22http%3A%2F%2Fwww.w3.org%2F2001%2FXMLSchema-instance%22%20xmlns%3Adc%3D%22http%3A%2F%2Fpurl.org%2Fdc%2Felements%2F1.1%2F%22%20xmlns%3Adcterms%3D%22http%3A%2F%2Fpurl.org%2Fdc%2Fterms%2F%22%3E%3Crdf%3ARDF%3E%3Crdf%3ADescription%3E%3Cdc%3Atitle%3EShadows%3C%2Fdc%3Atitle%3E%3Cdc%3Acreator%3EDiceBear%3C%2Fdc%3Acreator%3E%3Cdc%3Asource%20xsi%3Atype%3D%22dcterms%3AURI%22%3Ehttps%3A%2F%2Fwww.dicebear.com%3C%2Fdc%3Asource%3E%3Cdcterms%3Alicense%20xsi%3Atype%3D%22dcterms%3AURI%22%3Ehttps%3A%2F%2Fcreativecommons.org%2Fpublicdomain%2Fzero%2F1.0%2F%3C%2Fdcterms%3Alicense%3E%3Cdc%3Arights%3E%E2%80%9CShadows%E2%80%9D%20(https%3A%2F%2Fwww.dicebear.com)%20by%20%E2%80%9CDiceBear%E2%80%9D%2C%20licensed%20under%20%E2%80%9CCC0%201.0%E2%80%9D%20(https%3A%2F%2Fcreativecommons.org%2Fpublicdomain%2Fzero%2F1.0%2F)%3C%2Fdc%3Arights%3E%3C%2Frdf%3ADescription%3E%3C%2Frdf%3ARDF%3E%3C%2Fmetadata%3E%3Cdefs%3E%3Cg%20id%3D%22shoulders-round-b3f4dc53%22%3E%3Cellipse%20cx%3D%2239%22%20cy%3D%2241%22%20rx%3D%2232%22%20ry%3D%2241%22%20fill%3D%22%23345945%22%2F%3E%3C%2Fg%3E%3Cg%20id%3D%22tops-tuft-b3f4dc53%22%3E%3Cpath%20d%3D%22M23%2019c2-12%2016-12%2019-5-6-2-10%202-9%206Z%22%20fill%3D%22%23345945%22%2F%3E%3C%2Fg%3E%3Cg%20id%3D%22heads-wide-b3f4dc53%22%3E%3Cuse%20transform%3D%22translate(.05%202.32)scale(1.11)%20rotate(-6%2C%2028%2C%2025)%22%20href%3D%22%23tops-tuft-b3f4dc53%22%2F%3E%3Cellipse%20cx%3D%2231%22%20cy%3D%2238%22%20rx%3D%2221%22%20ry%3D%2218%22%20fill%3D%22%23345945%22%2F%3E%3C%2Fg%3E%3CclipPath%20id%3D%22clip-b3f4dc53%22%3E%3Crect%20width%3D%22100%22%20height%3D%22100%22%20rx%3D%220%22%20ry%3D%220%22%2F%3E%3C%2FclipPath%3E%3C%2Fdefs%3E%3Cg%20clip-path%3D%22url(%23clip-b3f4dc53)%22%3E%3Crect%20width%3D%22100%22%20height%3D%22100%22%20fill%3D%22%23deedc2%22%2F%3E%3Cuse%20transform%3D%22translate(11%2051)%22%20href%3D%22%23shoulders-round-b3f4dc53%22%2F%3E%3Cuse%20transform%3D%22translate(19%201)%22%20href%3D%22%23heads-wide-b3f4dc53%22%2F%3E%3C%2Fg%3E%3C%2Fsvg%3E)
