Résultats
50 articlesTrier
15:33EN
Jane Street· 26 oct. 2026Figgie Strategy: Reading Hands, Winning Majorities and Pricing CardsBradley, Mike · Jane StreetJane Street traders Bradley and Mike analyze three games to show how private information, market competition and timing affect card prices.
3:34:27EN
Lex Fridman· 26 oct. 2026Podcast · 4 voixAI, Mathematics, and the Meaning of a ProofInvité : Steven Brunton, Ankur Moitra, Alex Kontorovich · Anime : Lex FridmanLex Fridman and three mathematicians discuss recent AI-generated research, hard open problems and what human understanding contributes.
0:53EN
Matthew Berman· 22 oct. 2026Sam Altman on AI and the Discovery of New KnowledgeSam Altman · OpenAIAltman expects progress in mathematical discovery to extend to biology, materials and energy.
40:44EN
3Blue1Brown· 16 oct. 2026Grant Sanderson: There's never been a better time to go into mathGrant Sanderson, Constantin Kogler · 3Blue1BrownStudents fear AI has solved mathematics. Grant Sanderson argues the opposite: even if machines prove theorems better than we do, the institution of math stays valuable—and this is a rare moment when newcomers can reshape it.
51:55EN3Blue1Brown· 18 sept. 2026The last IMO problem AI could not solveGrant Sanderson · 3Blue1BrownGrant Sanderson walks through IMO 2025 Problem 6 — a tiling puzzle that frontier models missed — and the visual patience it takes to prove a construction is optimal.
0:31ENMatthew Berman· 13 sept. 2026The Navier–Stokes Problem and OpenAI’s Claimed SolutionMatthew Berman · Forward FutureMatthew Berman uses a swirling fluid visualization to introduce a million-dollar mathematical problem and OpenAI’s September 2026 announcement.
13:32ENMatthew Berman· 9 sept. 2026OpenAI’s Navier–Stokes Proof Claim, Research Credit, and the Future of AIMatthew Berman · Forward FutureMatthew Berman examines OpenAI’s claim that AI agents produced a proof, a dispute over related research and data use, and what the episode might mean for AI-driven discovery.
0:49ENMatthew Berman· 9 sept. 2026OpenAI’s Claimed Navier–Stokes Result and an Internal Math ModelMatthew Berman · Forward FutureMatthew Berman discusses OpenAI’s proposed proof and its comparison between an internal model and GPT-6 Astra. The mathematical result and prize status remain subject to review.
0:35ENMatthew Berman· 9 sept. 2026Sebastian Bubeck Responds to a Math Authorship DisputeMatthew Berman · Forward FutureMatthew Berman recounts OpenAI researcher Sebastian Bubeck’s account of communications with a mathematician identified as Levent.
1:16:29ENJane Street· 26 août 2026Grant Sanderson and Alok Puranik: Positional Encodings Through Group TheoryGrant Sanderson, Alok Puranik · 3Blue1BrownStarting with assumptions about attention, they derive matrix exponentials and connect rotations, decay and Jordan blocks to RoPE and ALiBi.
1:52:02ENMatthew Berman· 17 janv. 2026Forward Future Live: AI Engineering, Enterprise Agents, Mathematics and AdoptionMatthew Berman, Nick Wentz, Austen Allred, Aaron Levie, Tudor Achim, Ara Kharazian · Forward FutureAusten Allred, Aaron Levie, Tudor Achim and Ara Kharazian join Matthew Berman and Nick Wentz to discuss how AI is changing work and how to measure its use.
1:30ENMatthew Berman· 12 janv. 2026An AI-Generated Proof for Erdős Problem 397Matthew Berman · Forward FutureMatthew Berman discusses Neel Somani's GPT-5.2 Pro-assisted proof and speculates about self-improving AI. Later research found that the problem already had a published human solution.
8:16ENMatthew Berman· 12 janv. 2026AI and Erdős Problem 397: A Verified Proof, Prior Work and the Prospect of Self-ImprovementMatthew Berman · Forward FutureMatthew Berman discusses AI-assisted mathematics and argues that algorithmic discoveries could accelerate AI development, while the history of problem 397 adds important context.
3:52:17ENLex Fridman· 31 déc. 2025PodcastSome Infinities Are Larger Than OthersAnime : Lex FridmanJoel David Hamkins walks Lex Fridman from Hilbert's Hotel through Gödel, the continuum hypothesis, and a set-theoretic multiverse where truth is not the same as proof.
13:30EN3Blue1Brown· 17 août 2025How AlphaGeometry Combines Logical Proof with Creative ConstructionAleph0Aleph0 explains how a symbolic geometry solver gets surprisingly far without AI, and how a language model supplies the auxiliary constructions that take it to Olympiad level.
3:14:34ENLex Fridman· 14 juin 2025Podcast · 2 voixIf ten things make a problem hard, Terence Tao turns nine of them offInvité : Terence Tao · Anime : Lex FridmanThe Fields Medalist walks Lex Fridman from the Kakeya needle and Navier-Stokes through Lean, Perelman, and why today's AI still cannot smell a dead-end proof.
0:34ENMatthew Berman· 1 mai 2025DeepSeek-Prover-V2 and Its Formal Math ResultsMatthew Berman · Forward FutureMatthew Berman highlights DeepSeek’s reported theorem-proving results on miniF2F, PutnamBench and formalized AIME problems.
7:17ENJane Street· 13 août 2024Erik and Martin Demaine on the Mathematics of Curved-Crease SculptureErik Demaine, Martin Demaine · MITThe MIT father-and-son collaborators turn paper folding into art and research, embedding puzzles and mathematical fonts in their sculpture Solve Me.
20:40ENMatthew Berman· 26 juil. 2024SearchGPT, Llama 3.1 and AlphaProof: A July 2024 AI News RoundupMatthew Berman · Forward FutureMatthew Berman reviews new models, search, audio tools, OpenAI policy questions and DeepMind’s mathematical reasoning result.
3:23ENJane Street· 8 juin 2023Nitya on Training and Working as a Quantitative Trader at Jane StreetNitya · Jane StreetA trader on the New York international ETF desk describes the skills, training and collaboration involved in her work.
3:46:39ENLex Fridman· 9 avr. 2023Podcast · 2 voixHe Hated School Math Until a Professor Opened the Book to QuarksInvité : Edward Frenkel · Anime : Lex FridmanEdward Frenkel talks with Lex Fridman about Soviet childhood, the Langlands program, Gödel, AI, and why every hard objective theory still ends with an observer.
25:42ENJane Street· 8 nov. 2022Graham and Andrea Work Through a Trading Mock InterviewMichael, Graham, Andrea · Jane StreetA 20-sided die game shows how a trading interview can develop through clarification, quantitative estimates and collaborative problem-solving.
2:15:56ENLex Fridman· 3 déc. 2021Podcast · 2 voixA Theory That Fits Anything Is Not Even WrongInvité : Peter Woit · Anime : Lex FridmanColumbia physicist Peter Woit tells Lex Fridman why string theory's original idea emptied out, why four dimensions are enough, and what twistor theory still offers.
1:30:40ENLex Fridman· 27 sept. 2021Podcast · 2 voixI'm Giving You This Feedback Because I Believe in YouInvité : Jo Boaler · Anime : Lex FridmanStanford mathematician Jo Boaler on visual math, why struggle only works if you think you can get there, and how a 90-minute class raised classroom engagement 68 percent.Charger plus24 sur 50 affichés