Загрузка видео...

Не удалось загрузить видео

На главную

Why is AI suddenly cracking all kinds of previously unsolved problems in math? My guess is that it’s because: A) Math is verifiable so it's easier for models to improve B) Theoretical math highly benefits from chain of thought reasoning C) The answers and breakthroughs can be tested and...

12,780 просмотров • 3 дней назад •via X (Twitter)

Комментарии: 0

Нет доступных комментариев

Здесь появятся комментарии из оригинального поста

Похожие видео

Peter Thiel just told Silicon Valley it’s automating away its own cognitive moat. Nobody there is paying attention. Thiel: “It is striking to me how bad Silicon Valley is at talking about these sorts of things.” The industry is either arguing over 20% improvements in the next transformer model or jumping straight to simulation theory. They’re missing the massive real-world shift happening right in the middle. Thiel: “My intuition would be it’s going to be quite the opposite, where it seems much worse for the math people than the word people.” For decades, Silicon Valley worshipped quantitative intelligence. Math and coding were the ultimate safety nets. Thiel: “Within three to five years, the AI models will be able to solve all the US Math Olympiad problems.” Once a machine instantly solves the hardest math problems on earth, the economic value of being a human calculator doesn’t just decline. It disappears. And the historical irony is brutal. The societal bias toward math over verbal ability started during the French Revolution. Not because math was more valuable. Because verbal ability ran in aristocratic families, and math was elevated as the great equalizer to break nepotism. A 200-year-old political accident became the foundation of Silicon Valley’s entire hiring philosophy. AI is about to snap it back. The people who built the models that can now outperform them mathematically spent their careers optimizing for the wrong skill. The future belongs to the word people. The engineers didn’t see it coming because they were too busy calculating.

Dustin

623,556 просмотров • 5 месяцев назад

“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 просмотров • 6 месяцев назад