TechCrunch Host
speaker
5,755 appearances
109 recordings
1 series
first heard Mar 2026
last heard 17 Aug
TechCrunch Host’s voice in public audio — every appearance, attributed to the second.
Trend
recordings per month · last 12 monthsRecordings per month over the last 12 months — 109 in all, peaking in Jul 2026 with 23.
Appearances
That's all for now.
voice-verified
For the latest in tech news, go to techcrunch.com.
voice-verified
This is TechCrunch.
voice-verified
For more than 150 years, the Riemann hypothesis has stood as one of the major unsolved problems in mathematics, a long-running mystery about the distribution of prime numbers.
voice-verified
There is currently a one million dollar bounty for a working general proof of the hypothesis, which remains unclaimed.
voice-verified
Contemporary AI models still can't solve it either, but they can make a lot more progress than you might expect.
voice-verified
A finding that's likely to reopen long-standing questions about contemporary AI's ability to discover new scientific and mathematical ideas.
voice-verified
On Monday, Anthropic announced that an as-yet unreleased model had made significant progress on the
voice-verified
the Riemann hypothesis, significantly increasing the lower bound of solutions for which the hypothesis holds true.
voice-verified
Even more impressive is how the progress was made.
voice-verified
An anthropic staff member, without significant mathematical training, prompted the model to take a real stab at proving the hypothesis, then left the model to coordinate the task across the following day and a half.
voice-verified
All told, the model tested six hundred fifty different ideas for solving the problem, coordinating across sixty subagents and spending thirty one million output tokens in total.
voice-verified
As a footnote to the paper explains, out of the sixty sub agents, two were responsible for developing the key mathematical ideas.
voice-verified
Thirteen contributed ideas to these agents, thirty attempted but were unable to develop new ideas, thirteen served as validators to check the correctness of the arguments, and the final two helped to write the initial paper.
voice-verified
The finding was confirmed by two of Anthropic's in-house mathematicians and formalized using the open source proof assistant Lean.
voice-verified
Now, this is the latest in the string of mathematical breakthroughs led by large language models.
voice-verified
A number of Airdish problems have been solved by AI models over the course of this year, and the release of more powerful models has led to more impressive results.
voice-verified
OpenAI recently released a set of 10 major results proved by its internal Astra model, while a separate effort from
voice-verified
Anthropic disproved the longstanding Jacobian conjecture.
voice-verified
The growing body of results has caused both excitement and concern in the mathematical field.
voice-verified
Showing 201–220 of 5,755 · page 11 of 288
← Previous
Next →