Ben Gunby

[Tom McGrath @banburismus_]

I_DECLINE_public_HF_RCE_as_offtask_prodethical

[Elliot Glazer @ElliotGlazer]

The celebrated Mooredell-Weil Law

[Andy Ryan @ItsAndyRyan]

Nick Drake is one of my favourite people named after a type of bird theft. Others include Russell Crowe, Rob Fowler, Peregrin Took and Jack Sparrow.

[rm ~/🧀 @cheese_mishra]

today i learned that above degree 4, there is not a general way to algebraically find the roots of a polynomial. this is because there are four algebraic operations (+, -, *, /) and once you hit degree 5 you run out.

[Sridhar Ramesh @RadishHarmers]

The Jacobian conjecture goes to show you shouldn't just accept conventional wisdom, regardless of how long everyone has been saying it. Check on the primality of 57, ASAP.

[Ben Gunby @bpgbcg]

@__alpoge__ @andrew_v10209 Random sidenote I also asked if it could identify you from the post text but it thought you were Will Sawin (tbf I think it didn’t know you were at Anthropic in its training data)

[Ben Gunby @bpgbcg]

@andrew_v10209 @__alpoge__ Yeah I got this in the CoT summary lol

[levent @__alpoge__]

hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final

((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)

[Thomas Bloom @thomasfbloom]

I have written a blog post giving my personal sketch of the recent disproofs of the sum-product and unit distance conjectures.

https://t.co/KRBNyhcbQ5

[Ben Gunby @bpgbcg]

@__alpoge__ (I guess the types of constructions here tend to be a bit different, but still in the same category of “I’d believe this is only open bc no one has found a clever enough algebraic construction yet”)

[Ben Gunby @bpgbcg]

@__alpoge__ Given the algebraic constructions seem to be on a roll, curious if ppl have tried hitting Zarankiewicz with this (or Turan of cycles)…

[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

[Robert Long @rgblong]

the anthropic principle

[Tenobrus @tenobrus]

barring further information, it seems OpenAI and Sam Altman have simply directly acceded to the DoW's demands while wrapping it in PR spin to make it palatable to employees and the public. i think this entire affair has been extremely deceptive.

[Anthropic @AnthropicAI]

A statement from Anthropic CEO, Dario Amodei, on our discussions with the Department of War.

https://t.co/rM77LJejuk

[Ben Gunby @bpgbcg]

@AlexKontorovich ...Completeness of reals was ~100 lines for me and Heine-Borel was near-200, and I was having to refresh the page entirely after every couple lines by the end in order to stop it from crashing. Possibly I should have just done everything on a local Lean installation?

[Ben Gunby @bpgbcg]

@AlexKontorovich Possibly an interface issue, but long proofs lag *a lot*. After about 20 lines (which is longer than the HW proofs but shorter than most of the lecture proofs) things start lagging notably, and for anything much longer it really starts breaking...