Posted by outlier99 1 hour ago
This is a very bizarre introduction. People encounter diamagnets (e.g., copper) and paramagnets (e.g., aluminum) way more than they encounter antiferromagnets. I don't know why you'd ever cast magnetism as a false binary between ferromagnets and antiferromagnets, without even acknowledging any other types of magnetic order.
(I did a PhD in magnetic materials)
> The common one, the fridge magnet, is ferromagnetic — its atomic magnets all point the same way (up or down), adding their magnetic effects.
Ferromagnets typically have domains with magnetic moments that point in different directions. Ferromagnets can have a net magnetic moment without every 'atomic magnet' pointing the same way.
https://en.wikipedia.org/wiki/Magnetic_domain
Refrigerator magnets in particular are usually magnetized as Halbach arrays, where the whole point is that the 'atomic magnets' are not pointing in the same direction.
"Debacle"? That was the most fun I've had on the Internet in years. When's the last time so many people engaged in so many arguments about materials science and electromagnetism? Sometime in the 1800s?
Edit: I stand corrected. According to Gemini:
Me: Does using more salt mean accepting more of that claim?
Gemini: No, it actually means the exact opposite. If you say you need to take a claim with a huge pile of salt (or a shovel of salt), it means you believe the claim is highly unbelievable and you need an immense amount of skepticism to accept it. How the Metaphor Scales
• A single grain of salt: "I am slightly skeptical, but it could be true."
• A pinch of salt: "I have a healthy amount of doubt about this."
• A grain of sand / A truckload of salt: "This sounds completely made up, and I barely believe a single word of it."
The salt represents your skepticism, not your belief. Therefore, the more unbelievable the claim, the more "salt" you need to swallow it.
We live in interesting times.
(+) Or a "grain" if you're from the US since American English sayings seem to all date from the middle ages, while the rest of the English speaking world tends to update ours over time. No shade meant, I've just always found that interesting.
Thus, you can build ai/ml models+agents to explore those spaces, at a speed and scope much larger than what any human can do
I can imagine findings like these are going to keep increasing in frequency to a point in which the bar for novelty goes a lot higher
It took me (using Claude code and some codex), about 3 hours to put it together
And even though it was a cool demo, it seemed so easy, that it also felt like it wasn’t worth sharing
0: ChessFly (not mine), uses the FlyWire connectome (the fly’s brain’s weights) to play chess https://huggingface.co/spaces/mlabonne/chessfly
It's a small machine, so it might get bogged down
The story about OpenAI's Navier-Stokes solution is a good example of what I mean. I don't think it would have been possible without computer assistance because that proof is long and complicated. I'm also not sure that it would have been possible without a human proposing a new approach to the problem, because by all accounts that's exactly what led to the absurd amount of spending that OpenAI did to solve the issue.
I feel like that at least implies that there's some room left for humans in the new world.
That's the pitch of LLMs lol
The agents ran quantum-mechanical simulations of each crystal with the standard method for this, density functional theory, at two levels of approximation: a faster one (PBE+U) and a slower, usually more accurate one (HSE06). The band gaps and spin windows below come from the more accurate one.
In the case of quantum mechanics, it's the Schrödinger equation, which is no different than any other PDE. Agents are getting very good at searching through the space of possible simulation parameters and initial conditions to find solutions with certain properties. Some parameters produce less accurate simulations but are faster to run, so the search uses these to find promising directions and then runs the more expensive simulations on candidate solutions to test for convergence.
One of the potential applications of quantum computers is that they might speed these simulations up exponentially, but in practice they're not strong enough to be useful yet.
I'd imagine there's a lot of documented research which has attempted to find such things using classical computers.
Seems like there would be a lot of well structured context for somebody to use while directing agents to repeat that research, now with updated models once quantum computing is ready for that kind of task.
No offense to the person writing this (assuming they did at all), but I'm not sure they really understand what they're doing..
Why are people being so belligerent about this? I thought it's fairly obvious at this point that LLM reasoning is far beyond anyones understanding. Or does anyone have a refutation?
Are you trying to say that human brains are incapable of inference?
Of course I don’t know how it got its ideas for what to try. But heck, I don’t even understand how I get my ideas half the time. But the process, like what code it wrote, simulations it ran etc can be understood by (some) humans just fine!
I don't see any claims that this is better than the current silicon and gallium arsenide semiconductors that we use. And the use of "room temperature" seems a deliberate attempt to misconstrue this with superconductors
I can think of worse uses of VC AI funding.
Is this a "actual impossible because it's inherently contradictory", or "we just don't know how to do it yet but give us a year"?
It maybe could be possible but beyond the reach of current material science.
If ai becomes so prolific that we humans all stop doing those things then will they still work?