@MostlyMonkey This would have been an acceptable take had the evidence rebutting NHJ's beliefs not already been thoroughly discussed. However, she doesn't get brownie points for being (willfully) ignorant.
@paulnovosad I'm sorry but "NHJ did well for her kid" is about as wrong a conclusion as one could take away from reading the piece. It's a conclusion that not even NHJ herself would seem to defend!
@MostlyMonkey Hard disagree, you're misanalyzing the counterfactual by accounting only for the benefits of such an action while failing to see the world-wide calamity it would have caused
This -- human understanding lagging proofs -- is the norm in biology. You get an experiment where perturbation X caused response Y, you replicate it and know it's valid, then you have to understand how it happened. Why I like the analogy of math becoming a "lab science".
This is the Republican nominee for statewide office. Are other Republican elected officials going to condemn the intolerance and racism, or look the other way while it becomes normalized. This is how great political parties self-destruct. Sad.
A very useful report on how AI is affecting student learning at MIT.
I like this term cognitive surrender, "where students fall back on AI at the first hint of struggle."
We need to encourage undergrads (and all humans) to recognize this pattern and resist it.
@rieszspieces But such a future isn't predestined to happen simply because AIs can now write proofs. To the contrary, an invigoration of the field is more likely, where mathematicians parse through what AI generates to create new conjectures and gain a more holistic view of their fields.
@rieszspieces Tao's argument is weak. The production of proofs by AI does not prevent mathematicians from extrapolating them to produce new conjectures and gain a fuller understanding of the math behind them. On the contrary, their role will be key since AI is incapable of doing those things.
I'd like to be a mathematician. The problem is I'm just not good enough at math compared to Fields medalists. So I'm thinking of starting my own petition banning Fields medalists from doing any work in math else it misaligns math and stops people like me from going into the field.
Two moments every intellectual domain will likely face:
First, a Deep Blue moment, in which artificial intelligence can go toe-to-toe with its preeminent experts.
Then, a Stockfish moment, in which its preeminent experts have nothing more to contribute to the frontier.
@kdr44839@aryehazan Even in math, we call it the del operator. Divergence is just when you take its dot product with a vector, while curl is when you take its cross product.
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.