Forgot your password?
typodupeerror

Comment Re:How many more (Score 3, Interesting) 106

No one saw quasi-RH coming or many of the others here. So that is unlikely. And the last batch of 10 problems they released a few weeks ago which were impressive enough were all novel results. There have been issues with them using techniques or ideas that should be better credited to where some of those approaches are coming from. But that's the sort of thing that often happens at a preprint stage. When I referee a paper, if this happens, you just request they cite the relevant papers and move on. This isn't at all stealing things.

Comment Re:mostly mash-ups of existing techniques (Score 5, Interesting) 106

If the mathematicians ever used ChatGPT to talk about math, then that is the source of the results. LLMs, by definition, cannot usefully contribute to anything that requires more than rearranging existing data. Rearranging existing data is their only function.

This is really not accurate. There's Fields Medal level work here with quasi-RH for example. And for Hadwiger-Nelson it took an approach that doesn't seem to be in in the literature. These things really are doing novel math. I've personally seen this is in a bunch of situations. Here's a personal example, much smaller than anything like these problems. I have a recent preprint with a student here https://arxiv.org/abs/2609.36068 (about 90% of this was done by her. She's very good.) But part of this came from when I ran a version of Proposition 13 in that paper through Claude just to clean up the draft of that bit before I sent it to her. Claude informed me (essentially unprompted) that the argument had a whole in it (in addition to pointing out grammar errors, unbalanced parentheses and some other embarrassing minor mistakes). I then fixed the hole, and gave it back to Claude. Claude thought for a few minutes, and then informed me that I had *not* fixed the hole, and the reason was that my version of the proposition was missing an entire infinite family which it constructed. The literature on this problem is small, and I'm very familiar with it. The family it produced is straightforward (see Prop 8), but definitely was not in the existing literature. So yes, these systems really can do novel math, and can even do so in an essentially minimally prompted fashion, in this case, explaining to the meat mathematician why his proof is wrong. My student and I then generalized Claude's family to Theorem 9 in that paper, but the AI definitely had an impact.

At some level this was actually not a good thing. I'm trying to encourage students to *not* rely on the AI for research so they develop basic research skills. So if the AI had not volunteered the family I wouldn't have had to tell her that the AI had discovered it, but honestly required noting it. So I had a conflict between intellectual honesty and being a good role model.

Comment A few comments on the problems (Score 5, Informative) 106

Mathematician here specializing in number theory with a side-order of graph theory. I've only had time to start looking at two of them. First, is the Hadwiger-Nelson/chromatic number of the plane https://en.wikipedia.org/wiki/Hadwiger%E2%80%93Nelson_problem proof. As far as I'm aware (and I could be wrong) the technique it uses here is not in the literature, so this is a genuine construction of a new technique. Second is the Erdos Egyptian fraction bound, and for that one it looks like the techniques are about what I'd expect, but I'm definitely still digesting both of these.

For the quasi-Riemann Hypothesis the striking thing is almost the opposite direction. It looks like the AI used standard complex analytic techniques to get the result. But many mathematicians have often thought for years that those techniques would not likely be strong enough to get this sort of result.

I know less about the Unique Games Conjecture https://en.wikipedia.org/wiki/Unique_games_conjecture but having talked with some of the people there it looks like it took a somewhat standard set of ideas and then combined them with multiple just weird stuff and sort of took a hard left turn at one point for no clear reason and ended up at the result.

It is also worth noting that while many of these have Lean code confirming their correctness (quasi-RH for example) others do not. The three I mentioned above have all also been looked at at this point by human mathematicians who have not found issues; that's likely true for others, but those three I'm aware at least of people doing so. Not all the claims have Lean code though; a bit under half. One of the non-formalized problems also has been withdrawn due to what essentially amounts to a sign error https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Weil-classes-on-split-abelian-eightfolds-September-18-2026/paper.pdf. It is likely others will be withdrawn also by the end, but I'd be surprised if more than 10 are. And even if everything single one without Lean code turned out to be wrong (which seems very unlikely), this would still be an amazing set of math. I commented elsewhere that if a human mathematician had made the quasi-RH result they'd be likely a shoe-in for the Fields Medal, and another mathematician replied saying "delete likely."

Now a more editorial comment: There are legitimate concerns about what this is doing to mathematics. This sort of thing is very cool. But it also is part of a trend that may make it much harder to train young mathematicians or get them to exist at all. If the AIs are limited in how genuinely novel their ideas can be, then we may end up in a situation where we get a massive burst in math over the next few years, and then math stalls out because we don't have enough good really high caliber mathematicians (Not the mathematicians like me, but people like Serre, Tao, Scholze, Clausen,etc.) to come up with deeply new ideas that the AIs can build on.

Comment Re:Stop complaining (Score 1) 47

Yes, yes, they 'sold' it to you and you did pay real money for it, but don't confuse that with you 'owning' anything.

Think of it as the way you 'own' the faucet in your home. You do own the faucet but you don't own the water, even if you pay for every drop you use.

Alexa, Nest, Homepod, etc.... all these devices are basically empty boxes with an internet connection. What you 'own' is whatever they decide to provide and nothing else. (Although they might make decent paperweights.)

Submission + - First Nuclear Clocks Start Ticking in Vienna and Beijing (phys.org)

necro81 writes: Two groups, one in Vienna and one in Beijing, have successfully demonstrated the world's first nuclear clocks. Standard atomic clocks, like the caesium clocks that define the second, operate by observing the transition of electrons between different orbits about the nucleus. The resulting radiation is usually in the microwave range, and can produce clocks accurate to one second in 100 billion years.

Nuclear clocks go a step further, and probe energy transitions within the nucleus itself. Nuclei can arrange their protons and neutrons into different configurations, called isomers. The isomer with the lowest energy is the one usually found; higher-energy ones are only metastable and decay quickly. Usually it takes serious energy — x-rays and gamma rays — to excite a nucleus into a higher-energy arrangement. It so happens that thorium-229 can be excited using UV light with a wavelength of 148 nm — just within the capabilities of some exotic lasers.

It's still been quite a challenge. For one thing, Th-229 is not found in nature; it must be extracted from the decay chain of uranium-235. The Beijing team used just a microgram mixed in a crystal of calcium fluoride.

Although these prototype nuclear clocks are not yet more accurate than existing atomic clocks (one second in millions, rather than billions, of years), they show the way towards what may be possible. Because the energy transition is in the nucleus, rather than the electron cloud, it is less susceptible to outside disturbances like magnetic fields. And the fundamental frequency is much higher (five orders of magnitude), which should yield more precise timing. This development could lead to smaller and more reliable time standards across the world (and solar system).

Submission + - First Nuclear Clocks Start Ticking in Vienna and Beijing (phys.org)

necro81 writes: Two groups, one in Vienna and one in Beijing, have successfully demonstrated the world's first nuclear clocks. Standard atomic clocks, like the caesium clocks that define the second, operate by observing the transition of electrons between different orbits about the nucleus. The resulting radiation is usually in the microwave range, and can produce clocks accurate to one second in 100 billion years.

Nuclear clocks go a step further, and probe energy transitions within the nucleus itself. Nuclei can arrange their protons and neutrons into different configurations, called isomers. The isomer with the lowest energy is the one usually found; higher-energy ones are only metastable and decay quickly. Usually it takes serious energy — x-rays and gamma rays — to excite a nucleus into a higher-energy arrangement. It so happens that thorium-229 can be excited using UV light with a wavelength of 148 nm — just within the capabilities of some exotic lasers.

It's still been quite a challenge. For one thing, Th-229 is not found in nature; it must be extracted from the decay chain of uranium-235. The Beijing team used just a microgram mixed in a crystal of calcium fluoride.

Although these prototype nuclear clocks are not yet more accurate than existing atomic clocks (one second in millions, rather than billions, of years), they show the way towards what may be possible. Because the energy transition is in the nucleus, rather than the electron cloud, it is less susceptible to outside disturbances like magnetic fields. And the fundamental frequency is much higher (five orders of magnitude), which should yield more precise timing. This development could lead to smaller and more reliable time standards across the world (and solar system).

Submission + - Google, Unity Launch Platform to Create Video Games From Prompts (straitstimes.com)

An anonymous reader writes: Alphabet’s Google and gaming tools developer Unity Software announced a new platform that will allow people to create video games from simple text prompts, marking the latest incursion of generative artificial intelligence into artistic and creative industries. The initiative, called Playground, will “put game creation in the hands of millions of new creators, and bring new experiences to billions of players worldwide," the companies said in a statement on Oct 7.

With its debut, Playground will let people 18 and older generate and customize games using natural language prompts, “no coding required." Later in 2026, a new expanded creation experience called Unity Spark, will be integrated with Playground, providing “robust, professional-level” mechanics and high-fidelity 3D capabilities. Creators will be able to build “immersive, superlative experiences” with a simple text prompt, according to the release. Playground builds on Google’s push into world models, a type of AI that generates virtual environments in real time from text prompts, rather than just video.

Submission + - Auctioning IP packet sent via RFC1149 in 2001 1

An anonymous reader writes: There is an actual RFC-1149 IP packet being auctioned off via Christie's auction house now until October 13, 2026. This is an IP packet you can actually touch, versus just being an abstraction in the ether.

It is one of the four that was sent and eventually received by the team in Norway that implemented the RFC in 2001 (https://blug.linux.no/rfc1149/)

https://onlineonly.christies.c...

Submission + - AI agents helped an attacker take over a server in under 24 hours (nerds.xyz)

BrianFagioli writes: ReliaQuest researchers investigated a server takeover in which AI agents likely carried out substantial portions of the attack. An exposed job submission feature allowed the attacker to execute code, steal database credentials, and escalate privileges using public tools. No zero-day or new malware was required.

Researchers found a Cairn AI orchestration dashboard on the attacking host and command sequences that corrected earlier failures. They could not determine which model was used or how often a human approved actions. The incident raises questions about how agent automation could let attackers pursue more targets while reducing hands-on troubleshooting.

Submission + - UK vegetables 20-50% less nutritious than in the 1960s (telegraph.co.uk)

Bruce66423 writes: 'The nutritional value of fruit and vegetables has fallen by up to 50pc since the Sixties because of declining soil quality, according to a new study.

'The study found that many crops had lost 20pc to 50pc of several key nutrients.

'Will Summers, a senior associate at the firm, said: “For 60 years we’ve measured food security in calories and tonnes per hectare.

'“On those measures we’ve done remarkably well. But we’ve been quietly hollowing out what’s inside our food.”

'The decrease in nutrient and vitamin value is thought to be down to declining soil quality and crops being selectively bred for their ability to grow quickly, rather than there being any focus on their health benefits.'

Submission + - Wisconsin U–Madison Prof Francis Halzen named 2026 Nobel laureate in physi (wisc.edu)

schwit1 writes: Halzen is the principal investigator of the NSF IceCube Neutrino Observatory, the world’s largest — and perhaps strangest — telescope. The U.S. National Science Foundation-funded observatory is operated by an international collaboration of scientists led by the Wisconsin IceCube Particle Astrophysics Center based at UW–Madison.

Embedded in a cubic kilometer of Antarctic ice, IceCube uses thousands of light sensors to survey the universe for neutrinos, nearly massless particles that rarely interact with other matter. Neutrinos provide information about the workings of black holes, galaxies and other objects in the cosmos.

“IceCube is like no other telescope in the world,” says UW–Madison interim Chancellor Eric M. Wilcots. “And there is no other scientist quite like Francis Halzen, whose idea to create a neutrino detector under almost a mile of ice has led to a remarkable multinational and multi-institutional scientific collaboration and a fundamental shift in how we think about the universe.”

Submission + - Wisconsin U–Madison Prof Francis Halzen named 2026 Nobel laureate in physi (wisc.edu)

schwit1 writes: Halzen is the principal investigator of the NSF IceCube Neutrino Observatory, the world’s largest — and perhaps strangest — telescope. The U.S. National Science Foundation-funded observatory is operated by an international collaboration of scientists led by the Wisconsin IceCube Particle Astrophysics Center based at UW–Madison.

Embedded in a cubic kilometer of Antarctic ice, IceCube uses thousands of light sensors to survey the universe for neutrinos, nearly massless particles that rarely interact with other matter. Neutrinos provide information about the workings of black holes, galaxies and other objects in the cosmos.

“IceCube is like no other telescope in the world,” says UW–Madison interim Chancellor Eric M. Wilcots. “And there is no other scientist quite like Francis Halzen, whose idea to create a neutrino detector under almost a mile of ice has led to a remarkable multinational and multi-institutional scientific collaboration and a fundamental shift in how we think about the universe.”

Slashdot Top Deals

"One day I woke up and discovered that I was in love with tripe." -- Tom Anderson

Working...