正在加载视频...

视频加载失败

Terence Tao thinks AI is already very good at using existing, well-understood math techniques to solve problems. An important question is how many open problems in math could be solved this way, without developing any new ideas. An extreme case of a proof like this is the four-color theorem,...

64,547 次观看 • 5 个月前 •via X (Twitter)

0 条评论

暂无评论

原始帖子的评论将显示在这里

相关视频

Terence Tao: "Previously, you needed a PhD to contribute to math research. Now a high school student can." Dwarkesh asks the world's most famous mathematician: what's your advice for someone considering a career in math, especially in light of AI progress? Tao is honest about uncertainty: "We live in a time of change. A particularly unpredictable era. Things that we've taken for granted for centuries may not hold anymore. The way we do everything... not just mathematics... will change." He admits his preference: "In many ways, I would prefer a much more boring, quiet era where things are much the same as they were 10 or 20 years ago. But one just has to embrace this. There's going to be a lot of change. The things you study... some of them may become obsolete or revolutionized. But some things will be retained." On new opportunities: "Previously, you had to go through years and years of education and get a math PhD before you could contribute to the frontier of math research. But now it's quite possible at the high school level that you could get involved in a math project and actually make a real contribution... because of all these AI tools and Lean and everything else." His advice: "There will be a lot of non-traditional opportunities to learn. You need a very adaptable mindset. There'll be worth pursuing things just for curiosity and for playing around. Still go through traditional education and learn math and science the old-fashioned way for a while... credentials will still be important. But you should also be open to very, very different ways of doing science. Some of which don't exist yet." He concludes: "It's a scary time. But also very exciting."

Jaynit

77,698 次观看 • 4 个月前

“Harmonic is building Mathematical Superintelligence (MSI)” With $295M+ in total funding at a recent $1.45B post-money valuation, Harmonic's mission is to solve math problems that have remained unsolved for centuries, unlocking progress across physics, engineering.. & maybe even time travel? Co-founded by Vlad Tenev (Vlad Tenev) CEO of Robinhood, & Harmonic CEO Tudor Achim (Tudor Achim), the company has raised from leading investors including Ribbit, Sequoia, Kleiner Perkins, Index, Paradigm, DST Global, & more.. Funding history & lead investors: - Series A (Sept 2024): $75M led by steve beaker - Series B (July 2025): $100M led by Kleiner Perkins - Series C (Nov 2025): $120M at a $1.45B post-money valuation led by Ribbit Capital "Harmonic’s flagship Aristotle model recently achieved gold-medal level performance at the International Mathematical Olympiad, considered the most prestigious mathematical competition in the world, and is now available to the public. Unlike other models, Aristotle makes use of formal verification using Lean4 to ensure accuracy and eliminate hallucinations. In the first few weeks since its API beta launch, Aristotle has already been used by mathematicians and researchers to accelerate progress and create novel discoveries." . . . "Harmonic is building what we call mathematical super intelligence, and it's an artificial intelligence that can solve math problems better than any human mathematician. The company's been around for a couple of years. The North Star was, can we actually solve really, really important math problems like the Riemann Hypothesis or Hodge Conjecture? There's this group of math problems that have been open for hundreds of years that are called the Millennium Prize problems, and they're considered very big, difficult, and actually valuable. So that was kind of the North Star, and the reason we wanted to do that was if we could solve those problems, everything downstream of math, like theoretical physics becomes unlocked. So then you can imagine solving really hard physics problems. And actually, if you can solve that, then there's all kinds of exciting engineering developments, like depending on how that theory looks, you can imagine things like faster than light travel and it gets really crazy."

Molly O’Shea

51,281 次观看 • 8 个月前