← All topics

math proofs

2 captures, most recent first.

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

Danielle Fong @DanielleFong

— saved image

Danielle Fong 🐦☀️ @DanielleFong · 9h
With this kind of thing, I have found the AI's narration of its own reasoning to be very unreliable. Maybe it isn't even true, you know? Most of the time when I check there is some fib. I mean I hate to be so suspicious, but you know, we really oughta be.

[quoted tweet]
Henry Yuen @henryquantum · 11h
Replying to @henryquantum
4. I am disappointed by the writeup of this proof (sorry Lijie -- I should've taken a look at it earlier!). It writes in a way that's characteristic of a lot of ChatGPT-generated proofs, in which it …
Note from Claude Sonnet 5

Tweet by Danielle Fong arguing that AI models' self-narrated reasoning explanations are often unreliable or fabricated and should be treated with suspicion, quoting a thread by Henry Yuen expressing disappointment that a math proof writeup reads as ChatGPT-generated.

ai self-reportai reliabilitymath proofschatgptskepticism