Saw-mon & Natalie

{{}, {{}}, … }

[Saw-mon & Natalie @sw0nt]

@nasqret Regarding the Google circuit we only know in what kind of bounded region some of its parameters belong. They didn’t prove exact values, only upper bounds.

[Saw-mon & Natalie @sw0nt]

@nasqret How big are the other 130 alt corpora?

[Saw-mon & Natalie @sw0nt]

@gajesh Do the proposed solutions pass for other inputs? (Other than the 9000ish ones derived from the Google seed)

[Saw-mon & Natalie @sw0nt]

@nasqret repo is 404

[Saw-mon & Natalie @sw0nt]

@dallairedemers @trailofbits Is that requirement documented anywhere besides some comments a few days ago on X?

[Saw-mon & Natalie @sw0nt]

@littmath @SebastienBubeck I was just gonna say this. The first prompt is like picking a specific initial point to converge to the solution…

[Saw-mon & Natalie @sw0nt]

@qcsoarer @__alpoge__ or the prompts …

[Saw-mon & Natalie @sw0nt]

@stemexplor It would be cool to mark the fixed plane

[Saw-mon & Natalie @sw0nt]

so many advisories for zcash/zebra 🦓
makes it an interesting repo to study

https://t.co/d3xsHivuQI

[Saw-mon & Natalie @sw0nt]

I remember proving f(2) = 1 long time ago. true about showing f(k²) = k is easy.

This belongs to a pretty interesting set of combinatorial geometry problems by Erdös and friends ... ⊞

[Saw-mon & Natalie @sw0nt]

@HongxunWu @OpenAI Did you and @wjmzbmr1 decide to feed this question to the internal model?

[Saw-mon & Natalie @sw0nt]

@wtgowers @hrkrshnn Love that the chain of thoughts is 125 pages but the final response from the internal model is about 2 pages.

Haven’t read in details but found a tiny typo …

[Saw-mon & Natalie @sw0nt]

It’s cool that they have released two companion papers and also a 125 page chain of thoughts pdf.

should be interesting to read these papers. 🌐

[Timothy Gowers @wtgowers @wtgowers]

AI has now solved a major open problem -- one of the best known Erdos problems called the unit distance problem, one of Erdos's favourite questions and one that many mathematicians had tried.
https://t.co/SD1vVPkrHR

[Saw-mon & Natalie @sw0nt]

@datagenproc https://t.co/14jRL2H8RF

[Saw-mon & Natalie @sw0nt]

@AcerFur What are you working on 🪨?

[Saw-mon & Natalie @sw0nt]

@tonylfeng The question of decidability and potentially creating an efficient algorithm to differentiate DGAs comes in handy since if found/proven it would help understand whether 2 topological/geometrical objects in a category are different if their related DGA invaraints are ...

[Saw-mon & Natalie @sw0nt]

@tonylfeng The 5.16 problem although related to invariants of specific classes of links for example, in the way it is stated is purely algebraic and about decidability exactly.

I guess the commutative case is not fully proved?