絞り込み結果
39 件並び順
0:31ENThe 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:58ENA 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.
0:59ENA 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:55ENAGI, Recursive Self-Improvement and SuperintelligenceMatthew Berman · Forward FutureMatthew Berman introduces three AI terms and explains his expectations about their possible progression.
1:03ENWhy 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:55ENA 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:43ENA 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:30ENAn 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:16ENAI 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.
8:42ENDeepSeek-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:53ENTiny 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:47ENAI 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:47ENWhy 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:28ENOpenAI’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:14ENAI 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.
14:25ENAI 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:38ENAI 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:26ENA 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:34ENDeepSeek-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.
11:31ENAI 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.
8:35ENAI News: Vibe Jam, Mistral Small 3.1 and New Audio ModelsMatthew Berman · Forward FutureMatthew Berman surveys March 2025 releases, from AI-assisted games and local models to search, audio and creative tools.
12:10ENMercury 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.
0:51ENMira Murati Announces Thinking Machines LabMatthew Berman · Forward FutureMatthew Berman reviews the new AI lab’s stated goals in its February 2025 announcement.
10:01ENDeepSeek R1 Code Optimization and a $3 Visual Counting ExperimentMatthew Berman · Forward FutureMatthew Berman examines a human-guided coding improvement and a small reinforcement-learning experiment, then considers their implications for AI research.
もっと見る39 件中 24 件を表示









