Rare ceratosaur fossil sells for $30.5 million
The rare dinosaur fossil is 'one of the finest and most complete examples of its kind ever found,' auction house Sotheby's said in a statement published Wednesday.
The specimen, which is the only juvenile Ceratosaurus fossil of the four, sold for multiples of its $4 million-$6 million estimate at Sotheby's New York following a six-minute battle between six different bidders.
Ceratosaurus nasicornis was a meat-eating predator with a nasal horn, long teeth and bony armor that ran down its back and tail.
Standing six feet, three inches (1.9 meters) tall and approximately 10 feet, eight inches (3.25 meters) long, this juvenile fossil is made up of 139 bone elements, of which 57 make up 'a superb virtually complete skull,' according to Sotheby's.
It was found in 1996 at Bone Cabin Quarry in Wyoming and dates from the late Jurassic period, around 150 million years ago.
The fossil was displayed at the Museum of Ancient Life in Thanksgiving Point, Utah, from 2000 to 2024 and has not been studied or described formally in a scientific journal, Sotheby's said.
'The buyer of the Ceratosaurus intends to loan it to an institution, as is fitting for a specimen of this rarity and importance,' the auction house said.
In the same sale, a meteorite that is the largest known piece of Mars on Earth sold for $5.3 million.
'These stellar results underscore a deep and enduring fascination and respect for the natural world — from the farthest reaches of space to the ancient depths of the Earth. What draws collectors is more than just a passion for science; it's a deep-seated curiosity about the forces that have shaped our planet and beyond,' Cassandra Hatton, global head of science and natural history at Sotheby's, said in the statement.
Mark Westgarth, a professor of history of the art market at the University of Leeds, England, told CNN that the sale 'is part of a recent resurgence of interest in fossils and natural history.'
For example, Sotheby's also sold the most valuable fossil ever sold at auction, Apex the Stegosaur, which fetched $44.6 million in July 2024.
'At the top end of the market … seems to be about an increasing desire for 'distinction,'' said Westgarth. 'These dinosaur specimens also have a particular aesthetic — they are sculptural and awe inspiring.'
For Steve Brusatte, a professor of paleontology and evolution at Scotland's University of Edinburgh, these kinds of price tags are shocking.
A massive and nearly complete fossilized stegosaurus skeleton nicknamed 'Apex' sold for a record-setting $44.6M at auction on Wednesday.Related video
Towering stegosaurus skeleton sells for record-setting $44.6M at auction
'Who has that kind of money to spend on a dinosaur? Certainly not any museums or educational institutions,' he told CNN.
'While I'm pleased that the buyer might loan the skeleton to a museum to be put on display, at this point it is just a vague suggestion. The buyer is still anonymous,' Brusatte added.
'My fear is that this skeleton will disappear into the ether, into the mansion of an oligarch or a bank vault to accumulate value as just another investment in the portfolio of a hedge fund, and not see the light of day until it's auctioned again, or maybe never at all,' he said.
'Bottom line, a world where dinosaur skeletons can fetch tens of millions of dollars within a few minutes at auctions is not a world where dinosaurs will long be accessible to educate and inspire everyone,' Brusatte added.
However, Westgarth argues that there is a 'symbiotic' relationship between the market and wider research interests.
He cites the example of Mary Anning, who discovered fossils on England's south coast in the early 19th century and went on to open a successful fossil shop.
'Here the market for fossils acted as a catalyst for research in public institutions in the 19th century, inculcating increasing attention and public interest and acting as a catalyst for increased research activity on dinosaur fossils,' said Westgarth, who argues that the fact that the buyer of the Ceratosaurus fossil 'has suggested that they will loan it to an institution only adds to its potential for future research activity.'
Hashtags
Try Our AI Features
Explore what Daily8 AI can do for you:
Comments
No comments yet...
Related Articles
WIRED
28 minutes ago
- WIRED
A ‘Grand Unified Theory' of Math Just Got a Little Bit Closer
Jul 27, 2025 7:00 AM By extending the scope of a key insight behind Fermat's Last Theorem, four mathematicians have made great strides toward building a unifying theory of mathematics. Illustration: Nash Weerasekera for Quanta Magazine The original version of this story appeared in Quanta Magazine. In 1994, an earthquake of a proof shook up the mathematical world. The mathematician Andrew Wiles had finally settled Fermat's Last Theorem, a central problem in number theory that had remained open for over three centuries. The proof didn't just enthral mathematicians—it made the front page of The New York Times. But to accomplish it, Wiles (with help from the mathematician Richard Taylor) first had to prove a more subtle intermediate statement—one with implications that extended beyond Fermat's puzzle. This intermediate proof involved showing that an important kind of equation called an elliptic curve can always be tied to a completely different mathematical object called a modular form. Wiles and Taylor had essentially unlocked a portal between disparate mathematical realms, revealing that each looks like a distorted mirror image of the other. If mathematicians want to understand something about an elliptic curve, Wiles and Taylor showed, they can move into the world of modular forms, find and study their object's mirror image, then carry their conclusions back with them. This connection between worlds, called 'modularity,' didn't just enable Wiles to prove Fermat's Last Theorem. Mathematicians soon used it to make progress on all sorts of previously intractable problems. Modularity also forms the foundation of the Langlands program, a sweeping set of conjectures aimed at developing a 'grand unified theory' of mathematics. If the conjectures are true, then all sorts of equations beyond elliptic curves will be similarly tethered to objects in their mirror realm. Mathematicians will be able to jump between the worlds as they please to answer even more questions. But proving the correspondence between elliptic curves and modular forms has been incredibly difficult. Many researchers thought that establishing some of these more complicated correspondences would be impossible. Now, a team of four mathematicians has proved them wrong. In February, the quartet finally succeeded in extending the modularity connection from elliptic curves to more complicated equations called abelian surfaces. The team—Frank Calegari of the University of Chicago, George Boxer and Toby Gee of Imperial College London, and Vincent Pilloni of the French National Center for Scientific Research—proved that every abelian surface belonging to a certain major class can always be associated to a modular form. Toby Gee, Frank Calegari, and Vincent Pilloni, along with George Boxer (not pictured), spent nearly a decade on the proof. Photographs: Courtesy of Toby Gee; Jayne Ion; MC 'We mostly believe that all the conjectures are true, but it's so exciting to see it actually realized,' said Ana Caraiani, a mathematician at Imperial College London. 'And in a case that you really thought was going to be out of reach.' It's just the beginning of a hunt that will take years—mathematicians ultimately want to show modularity for every abelian surface. But the result can already help answer many open questions, just as proving modularity for elliptic curves opened up all sorts of new research directions. Through the Looking Glass The elliptic curve is a particularly fundamental type of equation that uses just two variables— x and y . If you graph its solutions, you'll see what appear to be simple curves. But these solutions are interrelated in rich and complicated ways, and they show up in many of number theory's most important questions. The Birch and Swinnerton-Dyer conjecture, for instance—one of the toughest open problems in math, with a $1 million reward for whoever proves it first—is about the nature of solutions to elliptic curves. Elliptic curves can be hard to study directly. So sometimes mathematicians prefer to approach them from a different angle. That's where modular forms come in. A modular form is a highly symmetric function that appears in an ostensibly separate area of mathematical study called analysis. Because they exhibit so many nice symmetries, modular forms can be easier to work with. At first, these objects seem as though they shouldn't be related. But Taylor and Wiles' proof revealed that every elliptic curve corresponds to a specific modular form. They have certain properties in common—for instance, a set of numbers that describes the solutions to an elliptic curve will also crop up in its associated modular form. Mathematicians can therefore use modular forms to gain new insights into elliptic curves. But mathematicians think Taylor and Wiles' modularity theorem is just one instance of a universal fact. There's a much more general class of objects beyond elliptic curves. And all of these objects should also have a partner in the broader world of symmetric functions like modular forms. This, in essence, is what the Langlands program is all about. An elliptic curve has only two variables— x and y —so it can be graphed on a flat sheet of paper. But if you add another variable, z , you get a curvy surface that lives in three-dimensional space. This more complicated object is called an abelian surface, and as with elliptic curves, its solutions have an ornate structure that mathematicians want to understand. It seemed natural that abelian surfaces should correspond to more complicated types of modular forms. But the extra variable makes them much harder to construct and their solutions much harder to find. Proving that they, too, satisfy a modularity theorem seemed completely out of reach. 'It was a known problem not to think about, because people have thought about it and got stuck,' Gee said. But Boxer, Calegari, Gee, and Pilloni wanted to try. Finding a Bridge All four mathematicians were involved in research on the Langlands program, and they wanted to prove one of these conjectures for 'an object that actually turns up in real life, rather than some weird thing,' Calegari said. Not only do abelian surfaces show up in real life—the real life of a mathematician, that is—but proving a modularity theorem about them would open new mathematical doors. 'There are lots of things you can do if you have this statement that you have no chance of doing otherwise,' Calegari said. 'After a coffee, we would always joke that we had to go back to the mine.' The mathematicians started working together in 2016, hoping to follow the same steps that Taylor and Wiles had in their proof about elliptic curves. But every one of those steps was much more complicated for abelian surfaces. So they focused on a particular type of abelian surface, called an ordinary abelian surface, that was easier to work with. For any such surface, there's a set of numbers that describes the structure of its solutions. If they could show that the same set of numbers could also be derived from a modular form, they'd be done. The numbers would serve as a unique tag, allowing them to pair each of their abelian surfaces with a modular form. The problem was that while these numbers are straightforward to compute for a given abelian surface, mathematicians don't know how to construct a modular form with the exact same tag. Modular forms are simply too difficult to build when the requirements are so constrained. 'The objects you're looking for, you don't really know they exist,' Pilloni said. Instead, the mathematicians showed that it would be enough to construct a modular form whose numbers matched those of the abelian surface in a weaker sense. The modular form's numbers only had to be equivalent in the realm of what's known as clock arithmetic. Imagine a clock: If the hour hand starts at 10 and four hours pass, the clock will point to 2. But clock arithmetic can be done with any number, not just (as in the case of real-world clocks) the number 12. Boxer, Calegari, Gee, and Pilloni only needed to show that their two sets of numbers matched when they used a clock that goes up to 3. This meant that, for a given abelian surface, the mathematicians had more flexibility when it came to building the associated modular form. But even this proved too difficult. Then they stumbled on a trove of modular forms whose corresponding numbers were easy to calculate—so long as they defined their numbers according to a clock that goes up to 2. But the abelian surface needed one that goes up to 3. The mathematicians had an idea of how to roughly bridge these two different clocks. But they didn't know how to make the connection airtight so they could find a true match for the abelian surface in the world of modular forms. Then a new piece of mathematics appeared that turned out to be just what they needed. Lue Pan's work in a seemingly disparate area of number theory turned out to be essential. Photograph: Will Crow/ Princeton University Surprise Help In 2020, a number theorist named Lue Pan posted a proof about modular forms that didn't initially seem connected to the quartet's problem. But they soon recognized that the techniques he'd developed were surprisingly relevant. 'I didn't expect that,' Pan said. After years of regular meetings, mostly on Zoom, the mathematicians started to make progress adapting Pan's techniques, but major hurdles remained. Then, in the summer of 2023, Boxer, Gee, and Pilloni saw a conference in Bonn, Germany, as the perfect opportunity to come together. The only problem was that Calegari was supposed to travel to China at the same time to give a talk. But a difficult visit to the Chinese consulate in Chicago made him reconsider. 'Eight hours later, my visa was rejected and my car was towed,' he said. He decided to scrap the China talk and join his collaborators in Germany. Gee secured the team a room in the basement of the Hausdorff Research Institute, where they were unlikely to be disturbed by itinerant mathematicians. There, they spent an entire week working on Pan's theorem, one 12-hour day after the next, only coming up to ground level occasionally for caffeine. 'After a coffee, we would always joke that we had to go back to the mine,' Pilloni said. The grind paid off. 'There were many twists to come later,' Calegari said, 'but at the end of that week I thought we more or less had it.' It took another year and a half to turn Calegari's conviction into a 230-page proof, which they posted online in February. Putting all the pieces together, they'd proved that any ordinary abelian surface has an associated modular form. Their new portal could one day be as powerful as Taylor and Wiles' result, revealing more about abelian surfaces than anyone thought possible. But first, the team will have to extend their result to non-ordinary abelian surfaces. They've teamed up with Pan to continue the hunt. 'Ten years from now, I'd be surprised if we haven't found almost all of them,' Gee said. The work has also allowed mathematicians to formulate new conjectures—such as an analogue of the Birch and Swinnerton-Dyer conjecture that involves abelian surfaces instead of elliptic curves. 'Now we at least know that the analogue makes sense' for these ordinary surfaces, said Andrew Sutherland, a mathematician at the Massachusetts Institute of Technology. 'Previously we did not know that.' 'Lots of things that I had dreamed we would be able to one day prove are now within reach because of this theorem,' he added. 'It changes things.' Original story reprinted with permission from Quanta Magazine, an editorially independent publication of the Simons Foundation whose mission is to enhance public understanding of science by covering research developments and trends in mathematics and the physical and life sciences.
Newsweek
an hour ago
- Newsweek
MrBeast Makes Astronomer Joke After Gwyneth Paltrow Video
Based on facts, either observed and verified firsthand by the reporter, or reported and verified from knowledgeable sources. Newsweek AI is in beta. Translations may contain inaccuracies—please refer to the original content. MrBeast, who was recently named the top content creator in the world by Forbes, has reacted to one of the year's most viral stories, the Astronomer Coldplay "kiss-cam scandal." In a post on X, formerly Twitter, MrBeast responded to the company's recent marketing video, which featured Gwyneth Paltrow. Newsweek has reached out to a representative for MrBeast via email for comment. Why It Matters MrBeast's social media post comes after a split-second clip of Astronomer CEO Andy Byron and his colleague Kristin Cabot was shared on social media and promptly broke the internet. The video, first shared by instaagraace on TikTok, has been viewed over 128 million times as of time of writing. Left, MrBeast speaks onstage during YouTube Brandcast 2025 at David Geffen Hall in New York City on May 14, 2025. Right, Gwyneth Paltrow attends the 2025 Breakthrough Prize Ceremony at Barker Hangar in Santa Monica,... Left, MrBeast speaks onstage during YouTube Brandcast 2025 at David Geffen Hall in New York City on May 14, 2025. Right, Gwyneth Paltrow attends the 2025 Breakthrough Prize Ceremony at Barker Hangar in Santa Monica, California, on April 5, 2025. More Taylor Hill/FilmMagic/for YouTube In the clip, the jumbotron lands on the pair and they promptly sprang apart. Coldplay's lead singer Chris Martin, says: "Either they're having an affair or they're just really shy." The pair were later identified as Byron, CEO of the tech firm Astronomer, and Cabot, the company's head of Human Resources. Both have now resigned. What To Know On July 26, Astronomer shared a light-hearted marketing video which capitalizes on the attention that has been brought to the company since the now infamous Coldplay canoodling. The video features Paltrow, Martin's Oscar-winning ex-wife, as a "very temporary spokesperson." MrBeast, real name Jimmy Donaldson, responded to this on X. In a post that has been viewed over 230,000 times, he wrote, "Can I be CEO." Astronomer's board of directors have announced that they will start a formal search for their new chief executive. Company co-founder Pete DeJoy has taken over as interim CEO. He said on Monday that Astronomer has faced an "unusual and surreal" amount of attention in recent days. Astronomer is a New York-based company that helps companies develop, grow, and analyze products using artificial intelligence. MrBeast, whose YouTube channel boasts over 416 million subscribers, is the owner of multiple companies, including Feastables and MrBeast Burger. He has previously shared posts on social media expressing interest in buying the social media platform X from Elon Musk. In June, as part of their list of Top Content Creators, Forbes reported that MrBeast had earnings of $85 million. Back in 2022, Forbes reported the 27-year-old could become the world's "first YouTuber billionaire," reporting at the time that he had a net worth of $500 million. What People Are Saying An Astronomer spokesperson previously told Newsweek in a statement: "Astronomer is committed to the values and culture that have guided us since our founding. Our leaders are expected to set the standard in both conduct and accountability, and recently, that standard was not met." What's Next The search for Astronomer's new CEO is ongoing.
Yahoo
3 hours ago
- Yahoo
US supercomputer simulates 1 quintillion calculations to design better airplanes
U.S. Department of Energy's(DOE) Argonne National Laboratory is helping researchers explore novel ways to design aeroplanes using its Aurora supercomputer. Known as one of the world's first exascale supercomputers, Aurora can perform over a quintillion calculations per second. A team from the University of Colorado Boulder uses Aurora's exascale supercomputing capabilities with machine learning techniques to dissect the airflow around commercial aircraft. Through this activity, they aim to provide insights to inform the design of next-generation airplanes. 'With Aurora, we're able to run simulations that are larger than ever before and on more complex flows," said Kenneth Jansen, professor of aerospace engineering at the University of Colorado. "These simulations help improve the predictive models that are applied to even more complex cases, such as capturing the flow physics around a full vertical tail and rudder assembly of an aircraft at full flight scale,' he continued. Reason to study the airflow Airplanes often have vertical tails larger than needed for most flights, to tackle worst-case scenarios like taking off in a crosswind with only one engine running. The team of researchers thought that if they could study the physics of the flow better, they could design a smaller tail that is still effective in such scenarios. They are using a tool called HONEE to run detailed airflow simulations. The tool helps model the complex, chaotic behaviour of turbulent air. These high-quality simulations are then used to train AI models called subgrid stress (SGS) models. SGS models are important because they help predict the effects of tiny turbulent air movements that aren't directly visible in lower-resolution simulations, but are crucial for accurate airflow predictions. All about turbulence Traditional turbulence is dependent on two things: extensive stored datasets and slow offline analysis. The team's new method uses machine learning simultaneously with simulation to save time and bypass the need to store massive chunks of data. 'Online machine learning refers to carrying out simulations that produce training data at the same time that the actual training task is carried out,' Rowe said. 'We're ensuring we can examine the simulation fields in real time and extract dynamics as the simulation progresses,' Kenneth Jansen explained. 'On the machine learning side, we're using those same analytics to understand how they impact turbulence models. Machine learning allows us to uncover modelling behaviors that complement and extend our current understanding," he continued. Using this method, the team has built predictive models that can detect the behavior of turbulent air. This approach allows scientists to test new ideas for real-time flow control and evaluate how smaller tail designs can fare in extreme conditions. The tool stack The team uses Aurora's exascale power and advanced tools like HONEE for fluid simulations, SmartSim for real-time data streaming and in-node training, and PETSc for scalable numerical calculations. This integrated approach enables faster, more efficient aircraft design by combining simulation and machine learning without costly physical testing. Solve the daily Crossword
