Slashdot

News for nerds, stuff that matters

OpenAI Claims It Solved an 80-Year-Old Math Problem

An anonymous reader quotes a report from TechCrunch: OpenAI claims its new reasoning model has produced an original mathematical proof disproving a famous unsolved conjecture in geometry, which was first posed by Paul Erdos in 1946. If this sounds familiar to you, it's because this isn't the first time OpenAI has made such a bold claim. Seven months ago, the AI giant's former VP Kevin Weil posted on X: "GPT-5 found solutions to 10 (!) previously unsolved Erds problems and made progress on 11 others."

It turns out, GPT-5 didn't actually solve those problems; it just found solutions that already existed in the literature. Taunts from rivals like Yann LeCun and Google DeepMind CEO Demis Hassabis followed, and Weil promptly took down his premature post. Today, at least, it seems OpenAI didn't make the same mistake twice. Alongside the announcement, the company published companion remarks (PDF) in support of the disproof from mathematicians like Noga Alon, Melanie Wood, and Thomas Bloom, who maintains the Erdos Problems website, and previously called Weil's post "a dramatic misrepresentation."

[...] The proof, per OpenAI, came from a new general-purpose reasoning model, not a system specifically designed to solve math problems or even this problem in particular. OpenAI says this is significant because it means AI systems are now more capable of holding together long, difficult chains of reasoning and connecting ideas across fields in ways researchers may not have previously explored. That has implications for biology, physics, engineering, and medicine.

Read more of this story at Slashdot.

kottke.org

Jason Kottke's weblog, home of fine hypertext products

What Number Was Stephen Colbert Thinking Of?

One of the questions on The Colbert Questionert that Stephen Colbert would administer to his celebrity guests was “What number am I thinking of?” As you can see from this compilation, his answer was often, but not always, “no”.

A few of the guests said “42” but none ever said “69”?

So anyway, the Late Show is coming to an end tonight, a casualty of CBS’s newfound fealty to the Trump regime, and Stephen Colbert finally took the questionert himself. And yes, at last, he revealed the number that he was thinking of…to Robert De Niro no less:

Tags: Stephen Colbert · The Late Show · TV · video

The Guardian

Latest news, sport, business, comment, analysis and reviews from the Guardian, the world's leading liberal voice

Ebola: US ban on travellers from DRC, Uganda or South Sudan ‘not the solution’

Africa CDC says restrictions could increase public health risks and highlight ‘deeper structural injustice’ in global health

A US travel ban for people coming from the Democratic Republic of the Congo, Uganda or South Sudan in response to the Ebola outbreak could make the situation worse, critics have warned.

Declared a public health emergency of international concern on Sunday, the outbreak continues to spread with a new case reported in the DRC’s South Kivu province, an area under the control of armed rebel groups.

Continue reading...

Turkish court rules to remove head of main opposition party

Ruling annuls 2023 CHP leadership contest to depose Özgür Özel, in blow to Erdoğan’s rivals

A Turkish court has issued a ruling that effectively removes the head of the country’s main opposition party, in the latest blow to challengers of President Recep Tayyip Erdoğan.

The ruling, issued by an appeals court in Ankara on Thursday, annulled a 2023 leadership contest within the Republican People’s party (CHP), deposing the party’s leader, Özgür Özel.

Continue reading...

Diplomat who abruptly left Washington embassy was honoured by the king

Charles conferred LVO after his US visit on James Roscoe who had been standing in for Peter Mandelson

A top diplomat who abruptly left his post at the British embassy in Washington earlier this week after standing in as interim ambassador for Peter Mandelson has been honoured by King Charles.

No reason has yet been given for James Roscoe’s departure. An investigation is now under way into the leak of discussions at a meeting of the UK’s national security council.

Continue reading...

Wel.nl

Minder lezen, Meer weten.

Geen van opvarenden Hondius in Rotterdam besmet

DEN HAAG (ANP) - Geen van de personen die zich nog op het Nederlandse cruiseschip Hondius bevonden toen het aanmeerde in Rotterdam is besmet met het hantavirus. Ook vertonen zij geen klachten, meldt minister Sophie Hermans (Volksgezondheid, Welzijn en Sport) donderdag in een brief aan de Kamer.

Het schip werd getroffen door een uitbraak van het hantavirus; drie mensen kwamen als gevolg daarvan te overlijden. Toen het schip maandag aankwam in Rotterdam, waren er nog 27 personen aan boord, onder wie 25 bemanningsleden. De andere twee waren een Nederlandse arts en verpleegkundige. Een aantal Nederlandse bemanningsleden is in thuisquarantaine gegaan. Buitenlandse opvarenden, die niet direct kunnen terugreizen naar hun thuisland, verblijven in quarantaine in wooncabines in de haven van Rotterdam.

De opvarenden zullen wekelijks worden getest, ook als zij geen klachten krijgen.

Een Nederlandse patiënt en opvarende van de Hondius die op 7 mei werd opgenomen in het Radboudumc en later positief werd getest op het hantavirus heeft het ziekenhuis inmiddels verlaten. Deze persoon gaat in zelfisolatie.


Komende jaren steeds meer cellen nodig, volgens prognose

DEN HAAG (ANP) - Het aantal gevangeniscellen dat nodig is, blijft de komende jaren stijgen, schrijft het Wetenschappelijk Onderzoek- en Datacentrum (WODC) in een prognose. Bijna alle cellen in Nederland zijn al bezet. Er is alleen geen tekort door noodmaatregelen.

Staatssecretaris Claudia van Bruggen (gevangeniswezen, D66) zei eerder dat er in oktober een tekort kan zijn. Dat kan tot december oplopen tot 265 cellen. Ze wil in het najaar aanvullende maatregelen nemen.

Volgens de cijfers van het WODC zijn er volgend jaar 400 cellen meer nodig dan dit jaar. Dat aantal kan in 2031 zijn opgelopen met ongeveer 1500 tot 12.873.

Het aantal cellen dat nodig is loopt volgens het onderzoekscentrum op, omdat steeds meer mensen in voorarrest zitten en dat ook steeds langer moeten doen. Ook krijgen meer mensen een gevangenisstraf. Dat de gemiddelde strafduur korter wordt, compenseert niet genoeg voor de stijging van het aantal mensen met een celstraf, aldus het WODC.


xiffy

Public posts from @xiffy@mastodon.nl

@hmblank
Dat is retorisch neem ik aan? We weten allemaal dat vredelievende mensen geen kijkcijferhit zijn. Deplorables met een wrok tegen alles en iedereen daarintegen...

The Register

Biting the hand that feeds IT — Enterprise Technology News and Analysis

AI is getting expensive, but relief is on the way - just not for you

Generative AI apps and services are getting more expensive by the day as model devs grapple with surging infrastructure costs. A new generation of GPUs and AI accelerators promises relief from rising inference demand, but you won't see the savings. After years and billions spent building bigger and better models, the great AI houses are beginning to find tangible use cases for the technology beyond chatbots and image generators. Claude Code, Codex, GitHub Copilot, and the slew of other code assistants have arguably become AI’s biggest success story to date, but history tells us they won’t be the last. But success is a double-edged sword. The bit barns built with borrowed money to train the Sonnets, GPTs, and Geminis at the heart of these apps and services were never meant to serve them at this scale. Inference and training are very different beasts. Those selling the shovels of the AI boom are now racing to bring new hardware better suited to serving these models. Nvidia pulled $20 billion from its war chest to acquihire AI chip startup Groq for this very reason. And it's not alone; everyone, from AMD and AWS to Intel and Google, is rearchitecting their GPUs, AI accelerators, and systems to drive down the cost per token. Cheaper tokens mean better inference economics, higher margins, and the venture capitalists fanning the flames hope that OpenAI, Anthropic, and all the others might actually drag themselves out of the red one day. Your AI addiction is their opportunity There’s just one little problem. All that AI-optimized hardware isn’t quite ready yet. Much of it is promised for the second half of this year, but it takes time to work out the kinks and ramp supply chains, which means the bulk of these new systems won't have widespread deployments until early to mid 2027. But here lies a fleeting opportunity for the flag-bearers to see how addictive their products have become, and just how much the market will bear. If Nvidia and AMD are the arms dealers of the AI age, the model devs are the drug dealers: the first hit's free, the next ones are cheap, and before long you’re hooked. We’re already seeing this play out. With the launch of GPT-5.5, OpenAI doubled the price per token to $5 (input), $0.50 (cached input), and $30 (output) per million tokens. It didn’t take long for Google to follow suit. The Chocolate Factory’s newly-launched Gemini Flash 3.5 is between 3x and 6x more expensive than Gemini 3.1 Flash-Lite and Gemini 3 Flash Preview. These price hikes are further compounded by the fact that the agent harnesses being built atop these models are burning through tokens orders of magnitude faster than a typical chatbot. Flat rate pricing makes a lot of sense when the majority of your customers aren’t running up against usage caps. It makes a lot less sense when customers are spending $200 a month on $5,000 worth of tokens. Microsoft seems to have figured this out. It outright abandoned seat-based pricing for GitHub Copilot and began transitioning its customers to usage-based pricing. Anthropic appears to be rethinking its pricing model as well, but rather than moving to a pure usage-based pricing model, it’s considering watering down its subscription features. AI isn’t the payroll paradise execs were promised Executives who thought AI was going to replace a full-time employee for pennies on the dollar are in for a rude awakening. That's not happening and it probably never will. Not when Anthropic, Google, or OpenAI can charge the equivalent of $30 an hour in tokens and make the case it’s still cheaper than paying an employee $40 an hour plus benefits and unemployment insurance. Just wait, before long AI pricing will be marketed in dollars per full-time equivalent ($/FTE) instead of dollars per million tokens. AI may not be the sweet deal execs might have hoped for, but that hasn’t stopped large tech firms from laying off thousands in pursuit of the technology. The FOMO has never been higher, and, if there’s anything big tech loves, it’s leading by example. So far this month, we’ve learned: Meta is laying off about 10 percent of its global workforce, closing around 6,000 open positions, and reassigning some 7,000 workers to AI-focused divisions. Cloudflare is cutting more than 1,100 workers, citing increased reliance on AI. Cisco is letting about 4,000 workers go because, as its CEO Chuck Robbins put it, “The companies that will win in the AI era will be those with focus, urgency, and the discipline to continuously shift investment toward the areas where demand and long-term value creation are strongest.” Even New Zealand has revealed plans to use AI to sack around 9,000 government workers. Competition won’t save us Competition, it’s said, is the cure to high prices, but for that to happen, there has to be a profit margin to shave and so far the top model devs are all running deep in the red. Hyperscalers have the advantage here. They can lose billions on AI investments for years while leaning on other product divisions to keep their shareholders from staging a riot. But it is probably not the death knell for Sam Altman’s hypemaxing or Dario Amodei’s sanctimonious posturing. Someone still has to build the models. Microsoft, Meta, and AWS are dabbling in model training, but have yet to show they can compete with OpenAI or Anthropic in any meaningful way. Google is really the standout in this respect. Gemini routinely trades blows with GPT and Claude, and after this week’s I/O, it’ll be practically inescapable. If history tells us anything, the AI boom and inevitable bust will follow a familiar trajectory. Competition abounds in a bubble, but once it bursts, consolidation is inevitable. ®

thexiffy

Last.fm last recent tracks from thexiffy.

gerador zero - rm $x

gerador zero