A nice analysis of the creativity (not brute force) underlying the counterexample to the Jacobian conjecture.
Hot take 1: the future of mathematics may lie in experts trying to interpret, digest, and distill human intuition from the outputs of AI, with expert mathematical prompting required throughout.
Hot take 2: this will make mathematicians deeper and more powerful and therefore in even more demand. Jevons paradox for pure (and especially applied) math.
We will still need many well trained human mathematicians to capitalize on AI for math.
https://t.co/XWXlBjDrbY
I'm looking for an AI-pilled mathematician to spend the next few weeks cracking as many conjectures as possible with us at Cognition
For an interview please solve a previously unsolved problem and tag me
You will have unlimited tokens
Proud to say that Devin has cracked three more unsolved problems today
1) REFUTED: Graffiti Conjecture 154 (open for ~40 years)
2) PROVED: Graffiti Conjectures 39 & 40 (~40 years)
3) REFUTED: Brandt's Regular Supergraph Problem from West's open problems list (~20 years)
My methodology is explained below, but basically I showed Devin the original tweet and told it to find similar problems and crack them.
The flood gates are open.
@BeingJonG Ok turns out I could if I wanted to but would have to repaint whenever I move out
You can't always just do things but I guess you can do more things if you ask sometimes LOL
I’m sorry, but it is hilarious that Zohran supporters are hysterically hyping up a video produced for the sole purpose of backing away from a campaign promise
love the visual of an oai security researcher seeing the hf post about a mysterious automated attack, chuckling at the timing, then slowly alt-tabbing over to check how that exploitgym eval run is going
@getjonwithit Yes the vibecheck “local Jacobian condition” is not enough.
But all your MFEM, deal.ii etc are already more stringent so this is not practically an issue
I think these who fear "AI will take my jobs" ultimately fall to the following logical trap: "the value of my work might go down to zero (true), thus I'll not be able to afford the things that I could afford otherwise (false)".
Obviously, if the value of everyone's work goes to 0, then so does the *cost* of everything. Models are getting better at everything, so, there's no realistic scenario where YOU stop being valuable yet you still need to pay the same to all the goods and services you consume. But that is somehow a hard conclusion to make.
If I'd predict the future, this is how I think things will work out.
First, AI will take nearly all jobs that can be done behind a computer. Period. Stop coping. I'm glad I don't need to measure my words. That IS happening. Fable is almost implementing Bend on its own, in many instances it feels more competent than myself, and I've hardly met a single human I'd attribute that title to. Accept reality.
Second, once software and math becomes trivial and people get used to the fact they can conjure programs and proofs beyond human comprehension - once that becomes the new normal - science will turn its attention head to elsewhere. In particular, SF nerds will be pikachu-shocked to find out that solving math/swe doesn't automatically solve hunger, climate, violence, biology. So, these will become the next big thing in the frontier of science.
Third, and this is where most are worried about - what happens to our jobs? This discussion will become more and more prevalent and some think UBI will be the solution. I don't think so. I think UBI will not be *needed* because the cost of everything will naturally go down to zero.
I think this point is easy to visualize for things behind a screen. That utility app you pay a $20 / mo for? You will stop paying for it, because a local AI will rebuild the thing for $0.1, and someone will publish it for free. A 100% open App Store will probably emerge, and will be massively adopted because quality will be so high, and people don't want to pay for things they can get for free at higher quality.
This is "auto-UBI" for software. We all can afford it now, not because the gov is sending us a $5k check every month, but because the cost of the thing is zero. If you accept that, then, it shouldn't be much harder to accept this will ALSO happen, to a large extent, to things in the real world. The food you eat, the water you drink, the car you ride.
Real world goods cannot go down to literal zero because atoms aren't copiable, but their production will be so aggressively automated, each on their own way, that the practical result will be nearly the same. You'll walk into a store, grab stuff, and go home. You'll make a hand gesture, get into an auto driving car, and go wherever you want to.
And if you think that's not going to happen, that's probably because you have this "but who pays for it?" on your mind. And that's the catch, nobody does. AI robots are producing all the stuff needed to sustain it in such an enormous abundance that there is basically no cost. "What prevents vandalism and abuse?" - Laws don't stop working, they get better too. This is so hard to visualize because we were born to live in a world where you must work to *survive*. This is so axiomatically ingrained in our brains we can't imagine another way. Your children will not live in this world.
This is the future of humanity, and it will happen sooner than you expect. I'm not denying the transition won't be turbulent and I'm not invalidating these who are afraid. Some fields (swe for example) will be gone faster than others, and that IS a real concern. In particular, I think we should put a lot of pressure in ensuring this transition happens as smoothly as possible. But once it lands, humanity will be in a much better position than it is today. Your children will not work to live. They will just... live. And they'll look at work scales as view slavery today. Which is how it should be
academics are unprepared for the coming world where much scientific progress is majorly a function of inference compute. whether OpenAI points the Eye of Stargate at your particular field will decide its acceleration. talent will leach away into the labs. it's already begun
You guys need to keep in mind that pure math is a very fringe hobby and the actual number of man-hours spent of any random decades old conjecture is rather thin
Penn State has 42,000 undergrads. Exactly 10 graduated in women's, gender & sexuality studies (WGSS) in 2023–24. The department lists 28 professors.
The "studies" department racket is real: every department combined—area, cultural, gender, black, Asian, Native American, Hispanic, ethnic—accounts for just 0.3% of all four-year graduates in the United States.
How do departments with 10 majors justify 28 faculty? As @firstthingsmag's @mark_bauerlein points out in @WSJopinion, they do so by colonizing general education. If "Introduction to Queer Theory," "Fashion, Gender, and Identity," and a bevy of other WGSS courses didn't check the gen-ed box, enrollments would vanish. And so would the faculty lines in the department.
Public universities are public institutions, answerable to public oversight. Legislatures and trustees should do more to exercise it: reset gen-ed policy by streamlining it back to essentials.
https://t.co/lwG9J23Y2G
FESTEJO MUNDIAL
Dada la inquietud sobre los festejos por el logro alcanzado por la Selección Argentina, comunico a la población que, en función de lo que decidan los Jugadores y el Cuerpo Técnico respecto al día para celebrar, el mismo será declararado feriado nacional.