필터 결과
54개정렬
0:31EN
Matthew Berman· 2026년 9월 13일The 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.
0:58ENMatthew Berman· 2026년 9월 11일A Simulated Fruit Fly in Driving and Game DemosMatthew Berman · Forward FutureMatthew Berman shows virtual scenes of a fruit fly driving and playing games, then speculates about future brain simulations.
13:32ENMatthew Berman· 2026년 9월 9일OpenAI’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:59ENMatthew Berman· 2026년 8월 28일A Laser Device Aims to Target MosquitoesMatthew Berman · Forward FutureMatthew Berman describes a proposed laser-based mosquito defense and the capabilities claimed in a short promotional video.
0:55ENMatthew Berman· 2026년 8월 25일AGI, Recursive Self-Improvement and SuperintelligenceMatthew Berman · Forward FutureMatthew Berman introduces three AI terms and explains his expectations about their possible progression.
1:03ENMatthew Berman· 2026년 5월 9일Why EVE Online Is an Interesting Environment for AI ResearchMatthew Berman · Forward FutureMatthew Berman explains why the game's persistent economy and player alliances may offer a demanding test of long-term planning.
11:55ENMatthew Berman· 2026년 3월 10일A Simulated Fruit Fly Raises Questions About Brain EmulationMatthew Berman · Forward FutureMatthew Berman examines a connectome-based virtual fly and considers what it might mean for neuroscience, consciousness and simulation theory.
0:43ENMatthew Berman· 2026년 3월 10일A Cultured-Neuron Interface Controls DoomMatthew Berman · Forward FutureMatthew Berman describes a Cortical Labs demonstration that connects activity in cultured human neurons to actions in a video game.
1:48ENMatthew Berman· 2026년 2월 16일Matthew Berman on OpenClaw, AI Agent Networks and the Limits of the HypeMatthew Berman · Forward FutureBerman sees new possibilities in agent tools and social platforms while questioning sensational trading claims and assertions of AI sentience.
1:30ENMatthew Berman· 2026년 1월 12일An 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· 2026년 1월 12일AI 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.
1:56ENMatthew Berman· 2025년 11월 10일Can a Language Model Detect an Injected Concept?Matthew Berman · Forward FutureMatthew Berman discusses an Anthropic experiment in which models sometimes report an artificial change to their internal activations.
13:40ENMatthew Berman· 2025년 10월 23일AI News in October 2025: Gemini Tools, M5 and a Quantum Echoes ExperimentMatthew Berman · Forward FutureMatthew Berman reviews an app-building demo, robot footage, model rumors, hardware claims, research debates and Meta’s AI reorganization.
8:42ENMatthew Berman· 2025년 10월 22일DeepSeek-OCR and the Idea of Visual Context CompressionMatthew Berman · Forward FutureMatthew Berman examines a 2025 OCR model and the possibility of representing document text with fewer vision tokens.
13:53ENMatthew Berman· 2025년 10월 10일Tiny Recursive Models and the Limits of Puzzle Benchmark ComparisonsMatthew Berman · Forward FutureMatthew Berman examines a small recursive network that reports strong ARC and Sudoku results, and what its experimental setup means.
14:47ENMatthew Berman· 2025년 9월 18일AI News in September 2025: OpenAI’s Programming Test, Meta’s REFRAG and New Agent ToolsMatthew Berman · Forward FutureMatthew Berman surveys competition results, efficient retrieval, agent payments, 3D worlds and model launches, alongside updates on Waymo and AI video. The episode distinguishes announcements, research claims and rumors from established outcomes.
8:47ENMatthew Berman· 2025년 9월 16일Why Identical LLM Prompts Can Produce Different Answers at Temperature ZeroMatthew Berman · Forward FutureMatthew Berman explains Thinking Machines Lab’s work on batch-invariant inference and what its reproducibility experiment actually showed.
10:28ENMatthew Berman· 2025년 8월 5일OpenAI’s gpt-oss Models: Open Weights, Benchmarks and SafetyMatthew Berman · Forward FutureMatthew Berman reviews the 120b and 20b models, local deployment claims, selected evaluations and the scope of OpenAI’s safety testing.
12:14ENMatthew Berman· 2025년 7월 16일AI News: Windsurf’s Acquisition, Meta Compute Plans, Grok and VoxtralMatthew Berman · Forward FutureA July 2025 roundup examines developer-tool deals, AI infrastructure, model behavior, reward methods and speech recognition.
10:20ENMatthew Berman· 2025년 7월 1일Meta’s Superintelligence Labs and the Fight for AI ResearchersMatthew Berman, Sam Altman · Forward FutureMatthew Berman traces Meta’s 2025 investment in Scale AI, its recruitment from rival labs, and OpenAI’s response. The video’s claims about customer data and signing bonuses need important qualifications.
14:25ENMatthew Berman· 2025년 6월 21일AI News in June 2025: Gemini Flash-Lite, Video Tools and OpenAI NegotiationsMatthew Berman · Forward FutureMatthew Berman reviews a real-time interface demo, new generative tools, AI hiring and the OpenAI–Microsoft relationship.
11:38ENMatthew Berman· 2025년 6월 12일AI News in June 2025: Magistral, Voice Models and Image GenerationMatthew Berman · Forward FutureMatthew Berman reviews Mistral’s reasoning models, voice and browser updates, reports on Meta and Scale AI, and FLUX.1 Kontext.
0:26ENMatthew Berman· 2025년 5월 7일A Demonstration of a Virtual 20×20 Rubik’s Cube SolverMatthew Berman · Forward FutureMatthew Berman scrambles a virtual cube and shows it returning to a solved appearance.
0:34ENMatthew Berman· 2025년 5월 1일DeepSeek-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.더 보기54개 중 24개 표시