Recently updated channels

Pick one to see only that channelBrowse all channels →

Results

47 articles
Sort
Slides0:31EN
Matthew Berman· Sep 13, 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.MathematicsPhysicsAI research+1
4 slides0:58EN
Matthew Berman· Sep 11, 2026A 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.Neuroscience & AISimulation HypothesisAI research+1
Slides0:59EN
Matthew Berman· Aug 28, 2026A 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.AI researchPublic HealthComputer Vision
0:55EN
Matthew Berman· Aug 25, 2026AGI, Recursive Self-Improvement and SuperintelligenceMatthew Berman · Forward FutureMatthew Berman introduces three AI terms and explains his expectations about their possible progression.AGIAGI TimelinesAI research
1:03EN
Matthew Berman· May 9, 2026Why 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.AgentsReinforcement LearningMulti-agent systems+1
5 slides11:55EN
Matthew Berman· Mar 10, 2026A 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.Computational BiologyNeuroscienceConsciousness+2
Slides0:43EN
Matthew Berman· Mar 10, 2026A 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.Neuroscience & AIBrain-Computer InterfacesAI research
Slides1:30EN
Matthew Berman· Jan 12, 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.MathematicsAI researchAGI
3 slides8:16EN
Matthew Berman· Jan 12, 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.MathematicsAI for scienceAI research+2
Slides1:56EN
Matthew Berman· Nov 10, 2025Can 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.Model InterpretabilityConsciousnessAI research
3 slides8:42EN
Matthew Berman· Oct 22, 2025DeepSeek-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.Document understanding & OCRMultimodal AIContext engineering+1
6 slides13:53EN
Matthew Berman· Oct 10, 2025Tiny 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.AI researchBenchmarksReasoning & test-time compute+1
5 slides14:47EN
Matthew Berman· Sep 18, 2025AI 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.AI researchAI agentsBenchmarks+2
4 slides8:47EN
Matthew Berman· Sep 16, 2025Why 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.InferenceAI researchObservability & reliability+1
3 slides10:28EN
Matthew Berman· Aug 5, 2025OpenAI’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.Models & trainingAI researchEvals+1
4 slides12:14EN
Matthew Berman· Jul 16, 2025AI 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.AI researchModels & trainingAgents+1
7 slides14:25EN
Matthew Berman· Jun 21, 2025AI 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.Generative mediaAI agentsAI research+2
3 slides11:38EN
Matthew Berman· Jun 12, 2025AI 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.Reasoning & test-time computeVoice AIGenerative media+2
2 slides0:26EN
Matthew Berman· May 7, 2025A 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.Software engineeringAI research
Slides0:34EN
Matthew Berman· May 1, 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.MathematicsAI researchBenchmarks+1
6 slides11:31EN
Matthew Berman· Mar 29, 2025AI News in March 2025: GPT-4o, Gemini, DeepSeek and MCPMatthew Berman · Forward FutureMatthew Berman reviews model updates, the ARC-AGI-2 benchmark, image generators and early adoption of Model Context Protocol.Foundation ModelsBenchmarksMCP+2
6 slides12:10EN
Matthew Berman· Mar 6, 2025Mercury Coder and Diffusion Language Models: Speed, Demos and LimitsMatthew Berman · Forward FutureMatthew Berman explores Inception’s 2025 coding model, comparing iterative text refinement with autoregressive generation and examining speed claims.Models & trainingInferenceCoding agents+2
5 slides7:59EN
Matthew Berman· Feb 25, 2025Grok 3’s Brief Misinformation Filter and the Question of AI BiasMatthew Berman · Forward FutureMatthew Berman examines an instruction that told Grok to disregard sources linking Elon Musk and Donald Trump to misinformation, and xAI’s explanation of how it reached users.AI SafetySafety & governanceAI research+1
Slides0:51EN
Matthew Berman· Feb 19, 2025Mira Murati Announces Thinking Machines LabMatthew Berman · Forward FutureMatthew Berman reviews the new AI lab’s stated goals in its February 2025 announcement.AI startups & small teamsAI researchOpen-source ecosystems
Load moreShowing 24 of 47