Loading video...

Video Failed to Load

Go Home

Introducing Axiom's discovery team: Alberto Alfarano Alberto's path runs from the IMO → trading → training AI to crack a 130-year-old conjecture. He found new Lyapunov functions while no general algorithm existed before. AI for math discovery redefines the boundary of human minds.

CarinaLHong's profile picture

Carina Hong

15,837 subscribers

373,882 views • 8 months ago •via X (Twitter)

EducationNews & PoliticsScience & Technology
LIVE

Anya Rossi• Live Now

Private livecam show

0 Comments

No comments available

Comments from the original post will appear here

Related Videos

We demonstrated our AI-agent framework for massively collaborative algorithm discovery for the first time yesterday Using the TIG Vehicle Routing Challenge (collaboration with Steven Diamond) The TIG team had the pleasure of presenting to some of the biggest players in the AI-algorithm discovery space They learned they can mine for algorithms, monetise the outputs through TIG, while keeping the algorithms open for others to build on and improve Minds were blown Details to follow
0:28

We demonstrated our AI-agent framework for massively collaborative algorithm discovery for the first time yesterday Using the TIG Vehicle Routing Challenge (collaboration with Steven Diamond) The TIG team had the pleasure of presenting to some of the biggest players in the AI-algorithm discovery space They learned they can mine for algorithms, monetise the outputs through TIG, while keeping the algorithms open for others to build on and improve Minds were blown Details to follow

John Fletcher (𝔦, 𝔦)

86,911 views • 4 months ago

Terence Tao says AI could help rework mathematics from the ground up, doing math problems at a scale never done before and leading to a new age of discovery
0:35

Terence Tao says AI could help rework mathematics from the ground up, doing math problems at a scale never done before and leading to a new age of discovery

Tsarathustra

63,759 views • 1 year ago

GROK 3 VS. RIEMANN: A BREAKTHROUGH ON THE HORIZON? The race to crack the legendary Riemann Hypothesis is heating up, and Grok 3 might just hold the key! * Brute-Force Computation – With enough power and a verifier, AI could crunch through all solutions. * AI + Human Collaboration – Machines assisting top minds could lead to Turing, Fields, or Nobel Prize-worthy breakthroughs. * A Timeline for Discovery? – Elon predicts AI-driven advancements within two years. No solution yet—but Grok 3 is inching closer to cracking one of math’s biggest unsolved codes! Source: Elon Musk
0:22

GROK 3 VS. RIEMANN: A BREAKTHROUGH ON THE HORIZON? The race to crack the legendary Riemann Hypothesis is heating up, and Grok 3 might just hold the key! * Brute-Force Computation – With enough power and a verifier, AI could crunch through all solutions. * AI + Human Collaboration – Machines assisting top minds could lead to Turing, Fields, or Nobel Prize-worthy breakthroughs. * A Timeline for Discovery? – Elon predicts AI-driven advancements within two years. No solution yet—but Grok 3 is inching closer to cracking one of math’s biggest unsolved codes! Source: Elon Musk

Mario Nawfal

965,708 views • 1 year ago

Demis Hassabis believes AI could revolutionize medicine within the next few years. - AI already solved the 50-year protein folding challenge with AlphaFold. - Future AI systems could design new drugs automatically. - Drug discovery could shrink from 10 years to months, weeks, or even days. - Most experiments may happen in simulations before human validation. - Personalized medicines tailored to individuals could become possible. - Demis believes AI could bring all diseases within reach of treatment. Future of healthcare could be extraordinary!
3:53

Demis Hassabis believes AI could revolutionize medicine within the next few years. - AI already solved the 50-year protein folding challenge with AlphaFold. - Future AI systems could design new drugs automatically. - Drug discovery could shrink from 10 years to months, weeks, or even days. - Most experiments may happen in simulations before human validation. - Personalized medicines tailored to individuals could become possible. - Demis believes AI could bring all diseases within reach of treatment. Future of healthcare could be extraordinary!

SciTech Era

31,146 views • 2 months ago

🔮 Introducing dash dot fun - the homepage of crypto Welcome to your unified personalized crypto dashboard for token discovery, research, and trading. Built and powered by AI agents on OpenServ, customizable with simple drag & drop UI. No more tab switching. No more missed opportunities. Just crypto, simplified.
0:55

🔮 Introducing dash dot fun - the homepage of crypto Welcome to your unified personalized crypto dashboard for token discovery, research, and trading. Built and powered by AI agents on OpenServ, customizable with simple drag & drop UI. No more tab switching. No more missed opportunities. Just crypto, simplified.

OpenServ

26,548 views • 1 year ago

Demis Hassabis explains that tasks like coding and math are easier to automate because they offer clear, verifiable outputs. However, scientific discovery like creating new hypotheses or theories is much harder for AI. It’s not just about solving known problems, but inventing new questions, which requires a higher level of creativity. He believes we're still missing key capabilities needed for that level of AI. While progress is rapid, reaching true scientific innovation without human input remains uncertain.
1:11

Demis Hassabis explains that tasks like coding and math are easier to automate because they offer clear, verifiable outputs. However, scientific discovery like creating new hypotheses or theories is much harder for AI. It’s not just about solving known problems, but inventing new questions, which requires a higher level of creativity. He believes we're still missing key capabilities needed for that level of AI. While progress is rapid, reaching true scientific innovation without human input remains uncertain.

Wes Roth

15,090 views • 7 months ago

Trump's AI EO has no heavy regulation, no permission frameworks, just a voluntary preview of models 30 days before release. Anthropic immediately filed a draft S-1 for an IPO, all while ChatGPT hit 1 billion users faster than any other product in human history. The US is telling the world: we compete, we don't constrain. -- Claude: 56M monthly users, 640% YoY. ChatGPT: 1B monthly users, 62% YoY. -- Microsoft dropped 7 in-house AI models at Build 2026, zero distillation from OpenAI. -- 1.8M teachers proposed banning screens through 2nd grade and taxing AI companies. -- Bernie Sanders proposed 50% public ownership of all frontier labs. -- 130 mathematicians signed the Leiden Declaration against AI weeks after AI solved an 80-year-old Erdős conjecture.
1:04

Trump's AI EO has no heavy regulation, no permission frameworks, just a voluntary preview of models 30 days before release. Anthropic immediately filed a draft S-1 for an IPO, all while ChatGPT hit 1 billion users faster than any other product in human history. The US is telling the world: we compete, we don't constrain. -- Claude: 56M monthly users, 640% YoY. ChatGPT: 1B monthly users, 62% YoY. -- Microsoft dropped 7 in-house AI models at Build 2026, zero distillation from OpenAI. -- 1.8M teachers proposed banning screens through 2nd grade and taxing AI companies. -- Bernie Sanders proposed 50% public ownership of all frontier labs. -- 130 mathematicians signed the Leiden Declaration against AI weeks after AI solved an 80-year-old Erdős conjecture.

Peter H. Diamandis, MD

23,253 views • 2 months ago

Jacob Bank, former Google product lead: "I built up this team of 40 AI marketing agents to work with me. I'm the only marketing person." In a 15-minute talk, he shows what one person with the right setup now runs alone. Forty agents. One human. His AI bill is $500 a month, against the $50,000 a human team would cost. That's the math quietly minting the first solo fortunes of the AI era. Watch the talk, then read the piece below. Bookmark this one.
15:39

Jacob Bank, former Google product lead: "I built up this team of 40 AI marketing agents to work with me. I'm the only marketing person." In a 15-minute talk, he shows what one person with the right setup now runs alone. Forty agents. One human. His AI bill is $500 a month, against the $50,000 a human team would cost. That's the math quietly minting the first solo fortunes of the AI era. Watch the talk, then read the piece below. Bookmark this one.

Zephyr

430,170 views • 1 month ago

Today, we're delighted to announce Phylo's partnership with Ono Pharma to deploy Biomni Lab to its discovery scientists. At Phylo, we believe agentic AI will fundamentally change how new medicines are discovered. Ono is a global leader in innovative drug discovery with a rich history of scientific leadership. Together, we will embed AI agents throughout the research process, accelerating the path from complex questions to scientific discoveries. We're honored to partner with Ono on this transformation. Read more:
0:30

Today, we're delighted to announce Phylo's partnership with Ono Pharma to deploy Biomni Lab to its discovery scientists. At Phylo, we believe agentic AI will fundamentally change how new medicines are discovered. Ono is a global leader in innovative drug discovery with a rich history of scientific leadership. Together, we will embed AI agents throughout the research process, accelerating the path from complex questions to scientific discoveries. We're honored to partner with Ono on this transformation. Read more:

Kexin Huang

19,064 views • 23 days ago

NEW: Wyoming teen finds a megalodon shark tooth off the coast of Florida. 16-year-old Aiden Andrews was on a fossil-hunting tour off Manasota Key when he made the discovery. Scientists say the megalodon weighed up to 50 tons, was up to 60 feet long, and had teeth the size of a human hand. The tooth found by Andrews was over 6 inches. Video: Fossil Junkies
0:37

NEW: Wyoming teen finds a megalodon shark tooth off the coast of Florida. 16-year-old Aiden Andrews was on a fossil-hunting tour off Manasota Key when he made the discovery. Scientists say the megalodon weighed up to 50 tons, was up to 60 feet long, and had teeth the size of a human hand. The tooth found by Andrews was over 6 inches. Video: Fossil Junkies

Collin Rugg

935,635 views • 4 months ago

What could scaling unlock for biology? Introducing ProGen3- our next AI foundation models for protein generation. We develop compute-optimal scaling laws up to 46B parameters on 1.5T tokens with real evidence in the wet lab. +we solve a new set of challenges for drug discovery
2:36

What could scaling unlock for biology? Introducing ProGen3- our next AI foundation models for protein generation. We develop compute-optimal scaling laws up to 46B parameters on 1.5T tokens with real evidence in the wet lab. +we solve a new set of challenges for drug discovery

Ali Madani

80,665 views • 1 year ago

Jane Street pays $750k/year for engineers who build AI trading systems from scratch. This 15-minute talk by Jane Street senior engineer shows the exact system behind a $750k/year skillset. here's what he covers: • why generic AI fails at a top trading firm • custom models trained on their own trading code • real-time grading of every AI-written change • one AI engine across the whole trading desk most retail traders are still using generic AI tools - while the top hedge funds train their own models Watch this video then read article below
16:38

Jane Street pays $750k/year for engineers who build AI trading systems from scratch. This 15-minute talk by Jane Street senior engineer shows the exact system behind a $750k/year skillset. here's what he covers: • why generic AI fails at a top trading firm • custom models trained on their own trading code • real-time grading of every AI-written change • one AI engine across the whole trading desk most retail traders are still using generic AI tools - while the top hedge funds train their own models Watch this video then read article below

Movez

23,077 views • 2 months ago

You already know this! The Frontier Firm doesn’t run on AI. It runs on human-agent teams. Day 2 of SAS Innovate, the deeper story is the one no one is leading with: A new operating model where every employee becomes an agent boss, commanding a constellation of specialized agents under their supervision. Headcount is no longer the unit of capacity. The Human-Agent Ratio is. Make sure to take advantage of the Digital Pass Later today, I will be releasing my next article... which will capture my findings from my Day 2 discovery.
1:13

You already know this! The Frontier Firm doesn’t run on AI. It runs on human-agent teams. Day 2 of SAS Innovate, the deeper story is the one no one is leading with: A new operating model where every employee becomes an agent boss, commanding a constellation of specialized agents under their supervision. Headcount is no longer the unit of capacity. The Human-Agent Ratio is. Make sure to take advantage of the Digital Pass Later today, I will be releasing my next article... which will capture my findings from my Day 2 discovery.

Sabine VanderLinden

55,691 views • 3 months ago

Australian man Simon Peter Carman arrested after teen found dead in suitcase In a video taken while he was in custody, Mr Carman speaks to the camera saying he felt “very bad”. Local Thai media is reporting the arrest of Simon Peter Carman who was arrested at Bangkok Airport on Friday evening while allegedly attempting to purchase a ticket to Perth. The 45-year-old was arrested after the alleged discovery of a 17-year-old girl inside a suitcase in Pattaya. Read more:
1:18

Australian man Simon Peter Carman arrested after teen found dead in suitcase In a video taken while he was in custody, Mr Carman speaks to the camera saying he felt “very bad”. Local Thai media is reporting the arrest of Simon Peter Carman who was arrested at Bangkok Airport on Friday evening while allegedly attempting to purchase a ticket to Perth. The 45-year-old was arrested after the alleged discovery of a 17-year-old girl inside a suitcase in Pattaya. Read more:

Liam Mendes

270,821 views • 1 month ago

Bill Gates speaking from Qatar announces his new plans to develop vaccines for HIV and malaria with the help of artificial intelligence. He says AI will power both the delivery of vaccines and the scientific discovery needed to create newer vaccines and drugs. He adds that his goal is simple he wants the poorest people in the world to benefit first from artificial intelligence.
1:08

Bill Gates speaking from Qatar announces his new plans to develop vaccines for HIV and malaria with the help of artificial intelligence. He says AI will power both the delivery of vaccines and the scientific discovery needed to create newer vaccines and drugs. He adds that his goal is simple he wants the poorest people in the world to benefit first from artificial intelligence.

Shadow of Ezra

128,048 views • 8 months ago

An old VHS tape of a 1982 Kmart manager on the job. I use all forms of media—like discarded VHS tapes found at charity dumpsters to train AI. This AI training is far better than Reddit sewage and Wikipropaganda and—in a crazy way one path to AGI. My DMs are open for why.
57:37

An old VHS tape of a 1982 Kmart manager on the job. I use all forms of media—like discarded VHS tapes found at charity dumpsters to train AI. This AI training is far better than Reddit sewage and Wikipropaganda and—in a crazy way one path to AGI. My DMs are open for why.

Brian Roemmele

48,749 views • 10 months ago

In the latest Professionally Curious 🧠, Joanna Cook @ SOON📍🇺🇸 🗽 (AI 🦞Arc) had a founder-to-founder talk with Franklyn Wang (founder of Liquid) about his path from Math Olympian → Quant Fund Trading → Founding an AI-native platform that aims to be the Future of Trading. They cover why “conventional wisdom” doesn’t hold up, Robinhood’s impact on mobile-first trading, and why the future of trading will look fundamentally different — with plenty of 🌶️ takes:) Also: building a Gen Z-heavy team, raising from Paradigm Haun Ventures General Catalyst, and scaling from seed to growth. Highlights – How to Raise $25m in this Challenging Market – How a Tweet about Meta & Athropic got Franklyn on TBPN – Why Conventional Wisdom is 💀 – Received the World’s Largest GPU as a Birthday 🎁
34:33

In the latest Professionally Curious 🧠, Joanna Cook @ SOON📍🇺🇸 🗽 (AI 🦞Arc) had a founder-to-founder talk with Franklyn Wang (founder of Liquid) about his path from Math Olympian → Quant Fund Trading → Founding an AI-native platform that aims to be the Future of Trading. They cover why “conventional wisdom” doesn’t hold up, Robinhood’s impact on mobile-first trading, and why the future of trading will look fundamentally different — with plenty of 🌶️ takes:) Also: building a Gen Z-heavy team, raising from Paradigm Haun Ventures General Catalyst, and scaling from seed to growth. Highlights – How to Raise $25m in this Challenging Market – How a Tweet about Meta & Athropic got Franklyn on TBPN – Why Conventional Wisdom is 💀 – Received the World’s Largest GPU as a Birthday 🎁

SOON - Solana Optimistic Network (Mainnet Arc)

11,452 views • 3 months ago