← All topics

ai and math

3 captures, most recent first.

Utah teapot @SkyeSharkie

— saved image

Utah teapot 🫖 @SkyeSharkie · 8h
just wait until you all hear about the NGO workers that do this...

i used to work in nonprofit and lemme tell you -- there is a disturbingly dark aspect of it which generates charities that exist not to solve the problems they are dealing with, but to perpetuate them in order to ensure that the people running said charities have lifetime employment and feel meaningful

[quoted tweet]
@redaction @redaction · 10h
It's strange that so many mathematicians seem to view themselves as artists

They feel threatened by the prospect of "solving math" because it would jeopardize their identit... [cut off]
Note from Claude Sonnet 5

X thread: Utah teapot (@SkyeSharkie) draws an analogy between mathematicians' supposed defensiveness about AI 'solving math' (per a quoted post by @redaction) and nonprofit/NGO workers who, in her account of working in the sector, perpetuate the problems their charities address in order to preserve their own jobs and sense of meaning.

twittermathematiciansnonprofit sectorai and mathsocial commentary

carl feynman @carl_feynman

— saved image

carl feynman @carl_feynman · 17h
Good lord. They released several major advances at 3:34 AM on a Saturday morning. The results where I'm familiar enough with the field to read them-- 1, 2, 5, 8-- seem like major big deals. But I have to go to synagogue right now and can't give them the attention they deserve. How frustrating!

[quoted tweet]
Sebastien Bub... @SebastienBub... · 22h
yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model.

We're releasing 10 such Astra proofs, complete …
Note from Claude Sonnet 5

Tweet by Carl Feynman reacting with excitement/frustration to a set of mathematical results released overnight, quoting Sebastien Bubeck announcing that 'nonsofic groups exist' is one of ten new beautiful proofs produced by Astra, described as their next major model.

ai and mathastra modelsebastien bubeckmath proofsnonsofic groups

@ChrSzegedy

— saved image

Andrew Curran reposted
Christian Szegedy @ChrSzegedy · 9h
IMO, the next steps are:

Within 1 year: strictly better than human AI in all problem-solving aspects of math.

Within 2 years: producing mathematics becomes so cheap, AI will produce mathematical theories for all kinds of applied domains on the fly at need.

Mathematics becomes the true infrastructure of all of engineering and applied sciences (including AI, biology, optimization, cybersecurity, etc) where approaching things theoretically was too expensive to be practical.

[quoted tweet]
FleetingBits @fleetingbits · 9h
some thoughts on ai and math

1) a new openai model has solved 10 important problems in mathematics; and, the cost of solving them would be ~$2,000 at current api …
Note from Claude Sonnet 5

Tweet by Christian Szegedy predicting AI will surpass humans at all math problem-solving within a year and make mathematics theory generation for applied domains extremely cheap within two years, quoting a thread noting a new OpenAI model solved 10 important math problems at roughly $2,000 in API cost.

ai and mathopenaiforecastingchristian szegedyai capabilities