Ergebnisse
58 ArtikelSortieren
0:31EN
Matthew 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.
0:58ENMatthew Berman· 11. Sept. 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.
0:59ENMatthew Berman· 28. Aug. 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.
0:55ENMatthew Berman· 25. Aug. 2026AGI, Recursive Self-Improvement and SuperintelligenceMatthew Berman · Forward FutureMatthew Berman introduces three AI terms and explains his expectations about their possible progression.
1:03ENMatthew Berman· 9. Mai 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.
11:55ENMatthew Berman· 10. März 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.
0:43ENMatthew Berman· 10. März 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.
1:30ENMatthew Berman· 12. Jan. 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. Jan. 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.
1:56ENMatthew Berman· 10. Nov. 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.
8:42ENMatthew Berman· 22. Okt. 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.
13:53ENMatthew Berman· 10. Okt. 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.
14:47ENMatthew Berman· 18. Sept. 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.
8:47ENMatthew Berman· 16. Sept. 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.
13:30EN
3Blue1Brown· 17. Aug. 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.
10:28ENMatthew Berman· 5. Aug. 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.
12:14ENMatthew Berman· 16. Juli 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.
10:20ENMatthew Berman· 1. Juli 2025Meta’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· 21. Juni 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.
11:38ENMatthew Berman· 12. Juni 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.
0:26ENMatthew Berman· 7. Mai 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.
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.
11:31ENMatthew Berman· 29. März 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.
8:35ENMatthew Berman· 21. März 2025AI 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.Mehr laden24 von 58 angezeigt