Tech Times on MSN

OpenAI's Astra solves ten decade-old math problems with machine-checkable Lean proofs

OpenAI Astra mathematics proofs: OpenAI's unreleased Astra model solved ten decade-old open problems in math and theoretical ...
Fast Company

A Harvard mathematician and an AI model may have cracked an 87-year-old math problem

A young mathematician teamed up with a new AI model to tackle one of the hardest open problems in mathematics, and the result is causing a stir among mathematicians and AI researchers on X. Levent ...
CoinDesk

Claude's Fable 5 just solved an 87-year-old math problem, and it matters for bitcoin

An Anthropic AI model, Claude Fable 5, helped disprove the 87-year-old Jacobian conjecture, a famous open problem in mathematics dating to 1939. The model produced a concrete counterexample that ...
The Financial Express

Claude Fable cracks a math problem that stumped geniuses for decades

Disproving the Jacobian conjecture marks the latest high-profile win in a historic year for frontier AI models in theoretical mathematics. (Image created with AI) An Anthropic researcher just gave ...
Reuters

BOK hikes rates for first time in 3-1/2 years, signals more

SEOUL, July 16 (Reuters) - South Korea's central bank raised its benchmark interest rate for the first time in three-and-a-half years on Thursday and ‌flagged more to come, as brisk growth in Asia's ...
IFLScience

AI Solved A Math Problem That Had Stumped The World For 80 Years. Not Everyone Is Happy About That

Katie has a PhD in maths, specializing in the intersection of dynamical systems and number theory. She reports on topics from maths and history to society and animals. Katie has a PhD in maths, ...
Star Tribune

A new Xcel rate plan could save you money, if you can adjust some habits

Customers of Xcel Energy received a notice last month letting them know about a new rate plan they could opt into. Starting June 1, the Minneapolis-based utility began offering a new “Time of Use” ...
Slate

A.I.’s First Big Math Breakthrough Is Not What It Seems

Only Slate Plus members can gift Slate stories. Become a member to share 10 free articles a month. Sign up for the Slatest to get the most insightful analysis, criticism, and advice out there, ...
The New York Times

Warsh’s Hawkish Turn Has Scrambled the Math on Rates

The futures market now sees at least one interest rate increase this year, as the Federal Reserve’s new leader, Kevin Warsh, vows to fight inflation. By Andrew Ross Sorkin Bernhard Warner Sarah ...
The New York Times

They Spent Years on a Math Problem. Then They Were Scooped by A.I.

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians. What does that mean for their future? Credit...Illustrations by Yoshi ...
Smithsonian Magazine

Mathematicians Puzzled Over a Famous Problem for 80 Years. Now, They’ve Used A.I. to Identify a Clever Solution

Place any number of dots on a two-dimensional plane—say, a piece of paper—and measure the distance between each pair. If you rearrange the dots, how many pairs could be positioned exactly the same ...