1. it is hard to justify 20 years of education at this point,
2. with no such people around, who will guide those (supposedly) supersmart machines?
A. Ronacher (who builds harnesses for a living) complained today that he has no idea what Astra is doing. Imagine a bunch of slop kiddies facing an aging AI-generated codebase. Not to mention the maths.
Intellectual side:
"Proving things without comprehending them is, they argue, a threat to intellectual work in general."
As always, economist shows its colors:
"Mathematicians’ fears resemble those that accompanied the invention of the ball-point in a world of fountain pens, or even the advent of electronic calculators. Intellectuals have often worried about so-called technological determinism . Will a new tool control humans? Will it lead to mental decay? Such fears have typically turned out to be unfounded."
Ball points vs. AI? Billions of dollars invested in AI vs ball point pens?
This article couldn't be any worse. Contradicting with their own beliefs, trying to defend AI while underestimating its capabilities and god knows how many zibillion dollars invested in it.
> OpenAI appears to have gazumped Tristan Buckmaster (pictured) and Levent Alpöge, a duo of mathematicians labouring on the task.
It seems like a lot of the issue here is that these problems aren’t interesting in and of themselves, but they lead down interesting roads. It defeats the purpose if you solve them without getting any real understanding.
It’s akin to saying you’ve solved “pancake flipping” problems with a waffle maker, or “travelling salesman” problems with a zoom meeting.
But I agree with the sentiment that the marketing behind these "discoveries" is disingenious. They pretend they solved the problem, but it still takes a bunch of humans to reduce the solution to a simplified and sensible explanation.
OpenAI/Anthropic are shaking the box.
johnnyApplePRNG•19m ago
I don't care how good Astra or any subsequent models they may release might be... I am never going back to those token reset shenanigans.
sho_hn•16m ago
boredatoms•7m ago