In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 years.

OpenAI gave several mathematicians early access to the result and published their reactions. Tim Gowers—who won the Fields Medal, the most prestigious prize in mathematics—wrote that “there is no doubt that the solution to the unit-distance problem is a milestone in AI mathematics.”

University of Toronto professor Daniel Litt wrote that “this is the first example of a result produced autonomously by an AI that I find exciting in itself, as opposed to as a leading indicator.”

Read full article

Comments

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 years.

OpenAI gave several mathematicians early access to the result and published their reactions. Tim Gowers—who won the Fields Medal, the most prestigious prize in mathematics—wrote that “there is no doubt that the solution to the unit-distance problem is a milestone in AI mathematics.”

University of Toronto professor Daniel Litt wrote that “this is the first example of a result produced autonomously by an AI that I find exciting in itself, as opposed to as a leading indicator.”

Read full article

Comments

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 years.

OpenAI gave several mathematicians early access to the result and published their reactions. Tim Gowers—who won the Fields Medal, the most prestigious prize in mathematics—wrote that “there is no doubt that the solution to the unit-distance problem is a milestone in AI mathematics.”

University of Toronto professor Daniel Litt wrote that “this is the first example of a result produced autonomously by an AI that I find exciting in itself, as opposed to as a leading indicator.”

Read full article

Comments

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 years.

OpenAI gave several mathematicians early access to the result and published their reactions. Tim Gowers—who won the Fields Medal, the most prestigious prize in mathematics—wrote that “there is no doubt that the solution to the unit-distance problem is a milestone in AI mathematics.”

University of Toronto professor Daniel Litt wrote that “this is the first example of a result produced autonomously by an AI that I find exciting in itself, as opposed to as a leading indicator.”

Read full article

Comments

For years, owners of Vizio smart TVs have had little control over the software running on their sets—software that can track viewing habits, push ads, and generally shape the experience of using the device.

The Software Freedom Conservancy (SFC), a US nonprofit that promotes and provides legal support for free and open source software projects, isn't happy about that—so much so that it has spent eight years trying to force the release of the complete source code for Vizio's Linux-based smart TV operating system.

Now, after numerous delays since the SFC filed suit in 2021, a California jury will decide in August whether Vizio must provide that code in executable form to SFC and any Vizio TV owner who wants it.

Read full article

Comments

Thursday night's detonation of Blue Origin's New Glenn rocket during a static-fire test produced a spectacular fireball over Florida, sending shards of the rocket flying far and wide, into the sea and across the coastal scrubland nearby.

With sunrise on Friday teams from Blue Origin, the US Space Force, and NASA will be able to begin more thoroughly assessing the damage to Blue Origin's facilities and begin picking up pieces of the rocket.

pic.twitter.com/EfYn4QWW9M

— Nick Johnson (@NickJohnson315) May 29, 2026

Read full article

Comments

Thursday night's detonation of Blue Origin's New Glenn rocket during a static-fire test produced a spectacular fireball over Florida, sending shards of the rocket flying far and wide, into the sea and across the coastal scrubland nearby.

With sunrise on Friday teams from Blue Origin, the US Space Force, and NASA will be able to begin more thoroughly assessing the damage to Blue Origin's facilities and begin picking up pieces of the rocket.

pic.twitter.com/EfYn4QWW9M

— Nick Johnson (@NickJohnson315) May 29, 2026

Read full article

Comments

Thursday night's detonation of Blue Origin's New Glenn rocket during a static-fire test produced a spectacular fireball over Florida, sending shards of the rocket flying far and wide, into the sea and across the coastal scrubland nearby.

With sunrise on Friday teams from Blue Origin, the US Space Force, and NASA will be able to begin more thoroughly assessing the damage to Blue Origin's facilities and begin picking up pieces of the rocket.

pic.twitter.com/EfYn4QWW9M

— Nick Johnson (@NickJohnson315) May 29, 2026

Read full article

Comments

For years, owners of Vizio smart TVs have had little control over the software running on their sets—software that can track viewing habits, push ads, and generally shape the experience of using the device.

The Software Freedom Conservancy (SFC), a US nonprofit that promotes and provides legal support for free and open source software projects, isn't happy about that—so much so that it has spent eight years trying to force the release of the complete source code for Vizio's Linux-based smart TV operating system.

Now, after numerous delays since the SFC filed suit in 2021, a California jury will decide in August whether Vizio must provide that code in executable form to SFC and any Vizio TV owner who wants it.

Read full article

Comments

I spend more time today than ever before interacting with terminal windows, which is something I don't think Past Me would have believed in the early '90s. Back then, poor MS-DOS was the staid whipping boy of the industry, and at least on the consumer side, graphical environments like Windows (and maybe even odder creatures like AmigaOS) seemed poised to stamp the command line into oblivion, leaving text interfaces behind as we all blasted into the ooey-GUI future.

As it turns out, though, the command line is still the best tool for some jobs—many jobs, in fact. I read a wise post some years ago (probably on Slashdot) arguing that a mouse-driven point-and-click interface essentially reduces the user to pointing at something on the screen and grunting, "DO! DO THAT!" at the computer. (The rise of right-click context menus adds the ability for the user to also grunt "MORE THINGS!" but doesn't otherwise add vocabulary.)

The command line, by contrast, gives the user the opportunity to precisely tell the computer what they want done, using words instead of one or two gestalts that the computer must interpret based on context.

Read full article

Comments

Mauna Loa in Hawaii is the world’s largest active volcano, and its 2022 eruption was the volcano’s 34th since 1843. But why is such a giant volcano located in the middle of the...

The post Why is the world’s largest volcano in the middle of nowhere? first appeared on Science Illustrated.