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)
over the weekend i checked the obvious thing, which is whether mythos is able to solve the erdos unit distance problem, aka erdos problem #90. the answer is: yea
we had a little setup for testing models on erdos problems we threw together after the solution of #1196 and it seemed fair to drop it in there, block internet access, and make sure no information leakage based on openai’s solution occurred. isolated claude code instances hitting mythos are given the problem, asked to ideate on potential positive and negative avenues, then an instance summarizes each avenue and assigns instances the summary and an idea, and they’re off.
this meant some truly wacky starter ideas, but even from bad starts the model manages to pivot and find a solution. i found an argument equivalent to the openai path in its reasoning a number of times, but it much more frequently settled on the following argument, which i wanted to post in a lowkey manner because i thought people might find its simplicity cool.