Scientists melted diamonds with a powerful laser to take some of the most precise measurements of the mineral's elusive melting point — and found that previous experiments were off by more than 1,300 degrees Fahrenheit (700 degrees Celsius).
It's odd to think of diamond, the hardest natural material on Earth, melting — but melt it does when blasted with extremely powerful lasers under the right conditions. Understanding how diamond responds to shock waves from lasers is an important part of developing nuclear fusion, the process that powers stars. Nuclear fusion is also a potential energy source for the future, so researchers have put a lot of effort into developing models that describe and predict how diamond behaves.
However, diamond is weird. Although the experimental data and theoretical models match up pretty well most of the time, there have been some strange discrepancies scientists haven't been able to explain. The biggest one is the 2,240 F (1,244 C) — roughly 20% — difference between previous experimental data and model-predicted melting temperatures of diamond. There's also been some debate about whether diamond reorganizes its atoms into a different kind of solid carbon before turning into a liquid at the end of the melting process.
Researchers have struggled to explain these discrepancies because the conditions diamond melts at are so extreme that it's extraordinarily difficult to measure it in labs on Earth. However, new experiments may finally offer the solution that scientists have pursued for two decades.
In a study published Aug. 13 in the journal Nature Physics, scientists zapped tiny plates of synthetic diamond with an ultraviolet laser, creating shock waves that were so powerful that as they passed through the samples, the diamond changed from transparent to mirror-like. The strong increase in reflectivity is one indication the diamond melted. By combining this change with measurements of how brightly the diamonds glowed while being zapped, the researchers mapped the melting temperature with great precision.
"We were able to take tiny diamond samples and shock compress them to temperatures hotter than the surface of the sun and to pressures higher than the center of Neptune and Uranus — and still measure atomic structure, temperature, density and optical reflectivity," study co-author Marius Millot, a research scientist at Lawrence Livermore National Laboratory in California, said in a statement.
The team found that the diamond sample's melting temperature was more than 1,300 F lower than previously thought — putting the melting point in line with theoretical predictions and finally explaining the long-held discrepancy.
An artist's concept of a solid chunk of diamond floating in a metallic liquid carbon pool. The new experiment proves this sort of situation is possible deep within other planets. (Image credit: James Wickboldt/LLNL)
The team also measured the samples' atomic structure with X-ray diffraction and saw that the diamond didn't transition to a different kind of solid carbon before melting, possibly because the energy required to rearrange the atoms was too large, the researchers wrote.
However, they also hypothesized that multiple shocks could be powerful enough for this transition to occur and that the way the shocks are applied to the diamond might affect how it changes phase. Understanding this is important for nuclear fusion research, as certain types of experiments involve lasers melting and crushing a diamond capsule to put the capsule’s contents, solid deuterium and tritium, under more than 30 petapascals of pressure and temperatures higher than 180 million F (100 million C), the requisite conditions for a fusion chain reaction to occur.
The researchers found that between about 660 and 1,060 gigapascals of pressure and at around 12,140 F (6,727 C), diamond exists as solid chunks floating in liquid carbon. As the pressure increases, more diamond transitions into liquid carbon, which is thought to be a very strange material. Unlike most forms carbon takes on Earth — like coal, graphite and diamond — liquid carbon is metallic, so it conducts electricity. It's also denser than diamond. So hypothetically, if you somehow were to put liquid carbon in a cup without instantly vaporizing it, a chunk of solid diamond could happily bob around in it like an ice cube in a glass of water.
Knowing how diamond behaves under such extreme conditions is also important for understanding the ice giant planets Uranus and Neptune. Based on measurements from the Voyager 2 spacecraft in the late 1980s and lab experiments on Earth, scientists think it literally rains huge chunks of diamond inside these planets and that their mantles may have liquid carbon oceans with diamonds floating around like icebergs. The new research means scientists can make better predictions about the planets’ interiors and their carbon cycles.
A controversy around OpenAI’s latest math proof raises a fear that might become increasingly common: that A.I. tools could take valuable insights from one user and hand them to another.
Some math problems continue to haunt researchers long after they’ve been solved. A proof emerges, is even celebrated, and yet dissatisfaction lingers. Perhaps the argument is too convoluted — the hunt persists for the elusive one-page paper — or perhaps it fails to give a deeper theoretical insight into why something is true. Whatever the reason, mathematicians return, again and again…
Além de servir como uma rede social com conteúdos para passar o tempo, o TikTok também possui um grande número de criadores de conteúdo focados em publicações de cunho educacional.
Para incentivar e expandir o acesso a esses posts, a rede social permite ativar o chamado Feed STEM (Science, Technology, Engineering and Mathematics, ou Ciência, Tecnologia, Engenharia e Matemática).
Apesar de já vir ativado para usuários entre 13 e 17 anos, todos podem ativar o filtro STEM manualmente. Veja como! 😄
Tristan Buckmaster, a mathematician at New York University, had just spent months working on what he believed could be a life-defining mathematical proof. Then, during a Sept. 6 meeting with OpenAI employees, he claims that he was issued a stark warning: "Why would you ruin your career?"
That exchange, which Buckmaster described in a detailed public statement this week, sits at the heart of a ballooning controversy around a famous set of mathematical equations called Navier-Stokes.
OpenAI says its artificial intelligence (AI) model has solved an outstanding problem tied to this 200-year-old set of fluid dynamics equations. The set of equations appears on the list of one of the seven Millennium Prize Problems posed by the Clay Mathematics Institute, and its solution comes with a $1 million reward. Buckmaster had been working on the same problem. And he has questions about how the company got there so fast.
The OpenAI breakthrough
The Navier-Stokes equations were formulated in the early 1800s by Claude-Louis Navier and George Gabriel Stokes. They're basically Newton's second law of motion for fluids, describing how any fluid moves: Push air with a fan blade, and the equations predict how that air will flow; or heat the atmosphere with sunlight, and they help forecast tomorrow's weather. They describe how planes fly and how blood moves through your arteries.
The problem is that nobody has proved whether the equations always produce finite answers. Could there be rare conditions that make the equations go haywire? This is called a "blowup," or singularity, which happens when a quantity that should represent something physical (like fluid speed or pressure) spirals toward impossible infinities at certain points in space and time.
Imagine the swirl of water circling a bathtub drain. The Navier-Stokes equations describe how it spins faster as it tightens toward the center. A blowup would mean the math predicts that spin is accelerating forever — an infinite speed at a single point. The bathtub can't do that, but if the equations can, that means the model we trusted for years is wrong and we wouldn't even know where it breaks.
OpenAI generated this model of local incompressible motion while pushing the Navier-Stokes equations to their limits. Orange shows faster angular rotation; teal shows slower rotation. The trajectories show inward spiraling and axial stretching. (Image credit: OpenAI)
Whether the Navier-Stokes equations can blow up is one of the most famous unsolved questions.
To find the answer, OpenAI used a technique called "forcing" — giving the simulated fluid a smooth, controlled nudge from the outside. Imagine flicking a spinning top with your finger to see if it would fall over — or, in the case of the Navier-Stokes equations, blow up.
OpenAI set roughly 10,000 AI agents to simultaneously work on the problem. The agents worked for about 88 hours straight, with 100 of them starting with the relatedEuler equations. This is a simpler cousin of Navier-Stokes that discards viscosity to describe fluid motion without internal friction.
After roughly 50 hours, OpenAI's agents found blowups in the Euler equations, OpenAI representatives wrote in a statement. This discovery convinced them that Navier-Stokes was within reach, and they turned their attention to the bigger problem.
OpenAI described the singularity as a vortex spiraling tighter and tighter, stretching and thinning like pulled taffy. The result was a fluid that, mathematically, spins itself into infinity.
OpenAI ran the proof through a program called Lean, software that checks every step of a mathematical argument. The agents "sent 2.7 million messages and used approximately 130 billion output tokens," OpenAI representatives wrote in the statement. At a Sept. 8 news conference, company representatives said a similar effort performed by a customer would have cost $15 million.
The controversy
The result has created a blowup of its own within mathematics, centered around claims that OpenAI's models may have been given a head start by using the work of Tristan Buckmaster and Levent Alpöge, a mathematician at rival AI company Anthropic.
The two mathematicians had been working on the same strategy (smooth forcing) applied to those same Euler equations. The approach itself was developed by Diego Córdoba, a mathematician at the Institute of Mathematical Sciences in Madrid, and Luis Martínez-Zoroa, another mathematician at CUNEF University in Madrid. Almost no one else in the field was using it.
Buckmaster said that on Aug. 15 that he and Alpöge achieved blowup results for the Euler equations with smooth forcing. On Sept. 3, Buckmaster wrote that he received word through Alpöge that OpenAI had caught wind of their progress and adopted the same method.
"When I heard 'forced,'" Buckmaster wrote in his public statement, "it was a bright red flag."
His concern was that the smooth-forcing approach wasn't obvious or widespread. "The ideas making this line of attack possible are due to Córdoba and Martínez-Zoroa," Buckmaster wrote, crediting the two mathematicians who developed the technique. "Almost nobody else I know of was working on it."
And yet, according to OpenAI, the company launched its Navier-Stokes effort on Sept. 1 — the same day it heard "rumors of other Millennium Prize resolutions." Buckmaster claimed, in his public statement, that those rumors were about his and Alpöge's work specifically.
Sam Altman, OpenAI's CEO, acknowledged that the company had learned of Buckmaster and Alpöge's work before making its announcement. "We were curious if ours could do it too," he wrote on X. He added that "the approaches appear to be different" — a claim Buckmaster disputes.
OpenAI's CEO Sam Altman acknowledged that the company had learned of Buckmaster and Alpöge's work before making its announcement. "We were curious if ours could do it too," he wrote on X. (Image credit: Chip Somodevilla via Getty Images)
OpenAI's statement names both Buckmaster and Alpöge, credits their independent resolution of the forced Euler problem, and says the company offered to co-publish.
"I did not get an answer"
Buckmaster also revealed that he had been using OpenAI's Codex coding assistant throughout his research, putting drafts of the work into the tool. OpenAI trains its models on user interactions, and Buckmaster said he asked the company directly whether his Codex sessions had been accessed.
"I asked whether the model had been trained on, or had access to, our sessions in Codex, into which we had been putting all our drafts," he wrote. "I asked again, about training, and I did not get an answer."
OpenAI's enterprise agreements govern how customer data can be used. But it's unclear whether Buckmaster was using Codex under an enterprise agreement or as an individual consumer — a distinction that may determine whether his drafts were available for training.
In a statement on X, OpenAI representatives denied that company employees or agents saw the pair's work "by any means" until it was publicly released. However, "we cannot rule out that de-identified data derived from their usage of our products helped improve our models," they added.
Then, there is the question of authorship. Buckmaster alleges that Sébastien Bubeck, who leads OpenAI's math research, twice pushed for Alpöge to be cut from the paper that the two mathematicians were preparing. Buckmaster emphasized that Alpöge works at Anthropic, a rival AI company.
We were curious if ours could do it too.
OpenAI CEO Sam Altman on X.
It was at that same Sept. 6 meeting that Buckmaster claimed that OpenAI presented him with two options, both of which required cutting Alpöge from authorship. He declined and said he told Bubeck that if OpenAI released its result as proposed, he would go public. Bubeck allegedly replied, "If you don't want me to be nice, then I don't have to be nice."
Bubeck has flatly denied the allegations, calling them "false and inflammatory" in a statement on X. "We did not use their prompt or proofs to prompt our models," Bubeck told Wired. Mark Chen, OpenAI's chief research officer, said at last night's news conference that he was "a little disappointed with the allegations."
"I have not seen OpenAI's proof," Buckmaster wrote. "I do not know what their model did, or how. I do not know whether our data was used. I am not accusing anyone of anything." He has called for an independent investigation into how OpenAI's work began.
In a closing line, he wrote, "I would much rather be talking about mathematics, Luis and Diego's ideas, and what this all means for the rest of us."
The community response
Córdoba, one of the original developers of the forcing technique, said he was stunned by how quickly the result had materialized. "We're a little bit in shock," he told Scientific American.
Other mathematicians have also responded to the news, with some expressing open dismay at how the results were released.
"We have now seen that even the rumor of someone working on a massive problem can trigger a massive amount of AI-powered effort to flatten it before the original research project has time to reach its full potential," Terence Tao, a professor of mathematics at UCLA, wrote on Mastodon. "The incentives may now be pointing in the direction of no longer sharing any promising research directions with the broader community, which would reverse centuries of traditions of open science and do serious long-term damage to the future of the field."
OpenAI's proof still awaits formal peer review, and the Clay Mathematics Institute has not yet issued an official verdict confirming or denying OpenAI's proof. But the episode has already surfaced troubling questions for the mathematics community. For example, when a company trains its models on the interactions of millions of users, who really owns the answers that emerge? And what does AI's involvement mean for the future of the field?
Those questions, unlike the Navier-Stokes problem, may not have a clean proof.
The mathematical universe is boundless and heterogeneous, encompassing, over here, truths about numbers and equations; there, the logic of shapes and spaces; and over there, the study of change and probability. Its domains have grown organically over centuries, each centered around its own objects, methods, and questions. That’s why it’s so surprising when direct connections between different…
OpenAI said Tuesday that one of its unreleased artificial intelligence models had solved a mathematical puzzle that has eluded mathematicians for generations, a claim that also drew a fight with rival researchers over credit.
OpenAI said Tuesday that one of its unreleased artificial intelligence models had solved a mathematical puzzle that has eluded mathematicians for generations, a claim that also drew a fight with rival researchers over credit.
Company behind ChatGPT says 10,000 of its AI systems cracked the Navier-Stokes problem in 88 hours
OpenAI claims to have solved a major mathematics problem that has stumped humans for nearly a century after spending millions of dollars on the artificial intelligence-led endeavour.
The company behind ChatGPT said it had cracked the Navier-Stokes problem, one of seven Millennium Prize Problems published by the Clay Mathematics Institute to highlight some of the biggest unsolved puzzles in the field.
Jacob Tsimerman, a recent recipient of the Fields Medal, believes that higher mathematics can help curb the dangers of runaway artificial intelligence.
On the morning of Tuesday, September 8, mathematicians at OpenAI announced that a group of 10,000 autonomous AI agents under their direction, running on an advanced model not available to the public, had found a “singularity” in the Navier-Stokes equations in three dimensions — thus resolving one of the six remaining Millennium Prize Problems posed in 2000 by the Clay Mathematics Institute…