Are You Ever Satisfied with AIS Handling Key Responsibilities?

Visualize a global map segmented by national borders. How many distinct colors are required to shade each country without overlapping the same hues?

The solution is four. Regardless of the map’s structure, four colors are always adequate. However, demonstrating this required delving deep into mathematical theory. The four-color theorem was the inaugural major theorem proved with computer assistance, with validation efforts starting in 1976 that involved analyzing numerous map configurations via software.

At that time, many mathematicians were skeptical. They questioned whether a crucial proof, reliant on an unidentified machine, could be trusted. This skepticism has led to computer-assisted proofs remaining a niche practice.

However, a shift may be underway. The newest wave of artificial intelligence is challenging this stance, as proponents argue, “AI might revolutionize mathematical methodologies.” Why should we trust flawed human reasoning, which is often riddled with assumptions and shortcuts?

The discourse surrounding AI’s role in mathematics reflects larger societal dilemmas.

Not all share this perspective, however. The debate regarding AI’s application in mathematics mirrors broader challenges confronting society. When is it appropriate to let machines take the lead? Tech companies are increasingly focused on alleviating tedious tasks, from invoice processing to scheduling. Yet, our attempts to navigate daily life relying solely on AI agents (as detailed in “Flashes of Glow and Frustration: Running my day on an AI agent”) revealed that these systems are not entirely ready.

Entrusting sensitive information, such as credit card details or passwords, to an enigmatic AI provokes similar apprehensions as the doubts surrounding the four-color proofs. We may not be coloring maps anymore, but we’re striving to define boundaries in uncharted territories. Will we soon have reliable evidence we can trust from machines, or is it merely a digital version of “the Dragon Here”?

Topics:

  • artificial intelligence/
  • technology

Source: www.newscientist.com

CoreWeave is not satisfied with the outcome of the deal.

Shares of CoreWeave, the first artificial intelligence startup to be published, opened its first day of trading at $39 on Friday. This was a slight drop from the initial public offering price set by CoreWeave a day ago, after reducing the size and value of the IPO.

The company’s stock price, trading under the ticker symbol CRWV, shows concerns among Wall Street investors about the economy and CoreWeave’s business model.

The decline came amidst a sluggish stock market and uncertainty over inflation and President Trump’s tariffs. List lower prices – CoreWeave previously estimated the range between $47 and $55 Submit – Already reflects investors’ skepticism compared to a month ago. Our share price rose approximately 1% in early trading.

CoreWeave, a data center supporting Power Giant AI Systems, also raised just $1.5 billion in offerings that analysts had expected, less than $4 billion.

In an interview Friday, CoreWeave CEO Michael Intrator said concerns about the stock market and AI industry have cut the list to the company, but the timing of its offering will benefit the company in the long run.

“It’s just a day. I’ll get through this day and keep moving,” Intrator said. “It’s important for us to enter the open market.”

It is unclear whether the stock’s performance will mark the start of the IPO parade that some investors have been hoping for. Among the companies watching Coreweave’s public debut on Friday were online lending service Klarna and ticketing company StubHub, which is predicting the public list this year.

“This is not an easy IPO market,” said Samuel Kerr, head equity capital market analyst at financial insights firm Mergermarket. “The USIPO market shows that CoreWeave is probably not as strong as we thought it would be early this year.”

A more ideal time would have been at the end of last year for CoreWeave’s public list after Trump was elected, before the release of a new chatbot by Chinese AI company Deepseek, Kerr added.

Nvidia, a supplier of CoreWeave’s computer chips and one of its major investors, has not helped its share price fell 9% since Wednesday last week.

Some analysts are skeptical of CoreWeave’s substantial debt, and have been taken over to build more data centers, a large facility that houses AI chips. The company’s revenue rose from $1.9 billion from $229 million a year last year, but lost $863 million after spending nearly $1 billion to fund its debt.

“The very high debt profile is something IPO investors disliked for quite some time,” Kerr said.

CoreWeave was founded in 2017 as a cryptocurrency mining startup, but after Openai released its ChatGPT chatbot in 2022, it shifted to using powerful NVIDIA chips for AI development.

Some of CoreWeave’s customers include Microsoft, which accounted for a large portion of last year’s revenue, and Openai, which announced nearly $12 billion in deals with CoreWeave in the weeks leading up to its IPO.

Source: www.nytimes.com