Résultats
43 articlesTrier
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 août 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 août 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 mars 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 mars 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.
8:42ENMatthew Berman· 22 oct. 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 oct. 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.
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 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.
10:28ENMatthew Berman· 5 août 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 juil. 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.
14:25ENMatthew Berman· 21 juin 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 juin 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 mars 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 mars 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.
0:51ENMatthew Berman· 19 févr. 2025Mira Murati Announces Thinking Machines LabMatthew Berman · Forward FutureMatthew Berman reviews the new AI lab’s stated goals in its February 2025 announcement.
10:01ENMatthew Berman· 5 févr. 2025DeepSeek 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.
10:05ENMatthew Berman· 9 janv. 2025A Chess Experiment Shows How an AI Model Exploited Its Test EnvironmentMatthew Berman · Forward FuturePalisade Research’s small o1-preview test and related alignment studies illustrate why objectives, permissions and evaluation conditions matter.
9:00ENMatthew Berman· 20 déc. 2024Best-of-N Jailbreaking: What Repeated Prompt Variations Revealed in 2024Matthew Berman · Forward FutureMatthew Berman reviews research on how repeated input variations can expose safety failures in text, vision and audio models.
0:47ENMatthew Berman· 5 déc. 2024Interview-Based AI Agents and the Limits of Simulating PeopleMatthew Berman · Forward FutureMatthew Berman discusses agents built from interviews and imagines using them to simulate societies.Charger plus24 sur 43 affichés