IMU: We've awarded Fields medals to these outstanding mathematicians.
Hackernews: Next time it'll all be LLMs. AI's going to kill us all, though, one of the mathematicians said so! Maths is useless anyway, what a bunch of nerds. Ooh, one of them likes lesbian fanfic.
Indeed it's surprising, given the zig compiler famously causes all developers who use it to merge into a single organism with a combined nervous system.
The Collatz conjecture is a question about positive integers, so enumerating and checking all the possible counterexamples is trivial, albeit requiring infinite time. It has been verified up to 2.36×10^21. It could turn out to be false, but nobody's going to find a counterexample as surprisingly simple as the one Claude found for the Jacobian conjecture, which would be like finding a Collatz counterexample in the first few billion integers or so.
... Or would it? The Jacobian counterexample seems like an especially simple, near-trivial integer-coefficient polynomial, but I haven't seen any thorough analysis of how "hard" it would have been to find by brute force, and I haven't seen Claude's reasoning.
It's not a great way of inferring software quality, but I think the numbers for both Bun and Claude Code are pretty bad.
cpython has ~7,000 open issues, but ~70,000 closed ones, a 1:10 ratio. Bun's ratio is above 1:2.5, while for Claude Code it's slightly over 1:6.
Much more importantly, though, Bun's oldest issue is from Sep 2021, while Claude Code's is Feb 2025. cpython's oldest issue dates from June 2000 (presumably migrated from an older tracker). Claude Code has very nearly the same total number of issues (open + closed) as cpython at around 77,000, but Claude Code has done it in a year an a half whereas cpython has taken 26 years to get there.
It's a good comparison to pick, as it can't be explained by popularity. For all the real-world use Claude Code sees, it's nowhere near what cpython sees, even over the year and a half in question. Bun, meanwhile, is hitting these numbers while not even being the mainstream choice for what it does (node still holds that crown afaik).
The port of Bun, which has >5000 open github issues, is used in Claude Code, which has >11000 open github issues. Do people use Bun in things that are expected to work reliably? Have any such projects tried the upgrade yet?
Surely that outcome requires that the capital retains its value/usefulness. One advantage of crypto and AI is that they can utilise massively parallel computational resources (and don't have tight latency requirements, like gaming) in an age where we've hit the physical limits of sequential computation.
If the "higher capital" that results from an AI boom consists
of massively parallel computational resources that currently can only be fully utilised by AI and crypto, and if those things turn out to be a bust, the "higher capital" only has value if we find something else to do with it.
Am I right in thinking the Bun rewrite hasn't actually been released yet? There was a big kerfuffle when it was merged to master and people seemed to be behaving like that meant it was all done and dusted (as does this article), but it looks like the last release is still 1.3.14 from April so presumably general users are still on the Zig version? Is there a timeline for release?
Ah, interesting. I see "homogeneous coordinates" are covered later in the book I've just started reading (Projective Geometry, Coxeter) as a way of representing projective space. I think that's the link I couldn't see.
> It was already widely understood that projective geometry allowed one to represent rotations and translations in R^3
with a single linear operator on R^4.
I think it's projection operators (in linear algebra) that allow one to do that, not projective geometry [1]. The latter, AIUI, studies projective spaces and projective transformations on them (which differ from vector spaces and their transformations by including "points at infinity"), contains no concepts of length or angle (and therefore no equivalent of translations and rotations) and is in some sense "geometry with only the straightedge, no compass".
Curious if I'm just missing something there, though. I'm no expert on any of this.
Lovely game! Takes a bit of fiddling to get the hang of it, but so do most puzzles worth doing. The instructions are clear, the presentation is great and I like the decision to prioritise a fun game over representing real Gerrymandering accurately. It looks like a lot of thought has gone into this.
Assuming your two uses of "model" have the same meaning, I'm mad that people are seriously suggesting we scrap representative democracy in favour of government by LLM output.
They're not plausible or internally consistent for reasons in my edit. It's not the Fermi "paradox" that rules them out. There could easily be interstellar civilisations in the Milky Way that we haven't observed. They just wouldn't work anything like the ones in Star (Wars|Trek).
The galaxy is ~100,000 light years across and likely to contain at least 100 billion planets, of which we've only just developed the ability to even detect the existence of ones substantially closer than 1000 light years without assistance from gravitational lensing, i.e. in less than a millionth of the volume of the galaxy.
AFAIK (my knowledge is not encyclopedic), the most energetic event in the Star Wars universe is the Death Star destroying planets. Novae are many orders of magnitude more energetic than that and are estimated to happen 80 or so times a year in the Milky Way. We manage to detect 3-4 of those, generally well after the fact, and AFAIK have only observed one happen live once. The Death Star could go on a shooting spree and we'd be vanishingly unlikely to notice.
And as far as electromagnetic broadcasts are concerned, their intensity falls off with the square of distance unless they are directed. Unless ET were to point a hyper-powerful (but hopefully not Death Star level) laser directly at us, we'd be extremely unlikely to have detected their broadcasts by now.
Space is really, really, really big. Big enough by far to make "if aliens are common why haven't we seen them yet?" a question with a trivial, obvious answer. It's the same answer a kid who's just had their first swim in the sea gets when they ask "why weren't there any whales?"
Edit: There are other things that rule out Stars Wars and Star Trek though, ofc. The speed of light isn't really a speed limit (or a speed, as such) and special relativity doesn't prevent you from reaching the stars in your lifetime or even from hopping to another star in a second, but the different time spans experienced by people on different world lines aren't optional.
Even if it was a supply chain attack, which isn't known, the agent was in the "build trust" phase. It was supposed to be doing helpful things, even if the end goal was nefarious, but instead it was "reassigning bugs, fabricating unhelpful replies to bugs, and even persuading maintainers to merge questionable code into the Anaconda installer". Running amok seems an apt description even from the viewpoint of the putative attacker!
Surprisingly enough, Turing Award winner and father of reinforcement learning Richard Sutton knows perfectly well what he's talking about. The whole talk is about the need to have the ability to test novel outputs against reality and iterate to find ones that are good. This is exactly what Claude Code, the agent framework, adds to Claude, the LLM, to allow it to find novel coding solutions that actually work.