IA
Claude escribió 180 millones de líneas de pruebas formales de código
Anthropic y Theorem usaron el modelo para demostrar matemáticamente que código existente es correcto, y en el camino aparecieron cientos de errores.
The Decoder
Archivo completo
Todas las notas publicadas en MechaNoticias. Ordenadas por fecha de publicación, de la más reciente a la más antigua.
2.083 notas · Página 2 de 87
Electrónica
Deki Engine trae un editor estilo Unity para hacer juegos 2D en ESP32
El motor en C++ es de código abierto bajo licencia Apache 2.0, corre a 60 FPS en un ESP32-S3 y ya soporta placas de LilyGO.
CNX Software
Electrónica
Tesla hará sus propios mapas para el FSD tras años de criticarlos
Ashok Elluswamy, vicepresidente de IA, dijo que Tesla no debería depender de mapas ajenos y que la flota alimentará una capa propia desde FSD v15.
Electrek
Robótica
Robotiq le pone tacto y cómputo propio a su pinza 2FC
La pinza mide presión, vibración, fuerza y corriente sincronizadas al milisegundo, y corre en la muñeca la detección de deslizamiento y la calidad del agarre.
Robotics & Automation News
Robótica
Dream Labs levanta 90 millones y abre una API para mover cualquier robot
Su modelo Dream-1 aprende del video de personas y controla brazos de entre 2.000 y 10.000 dólares sin datos previos de cada máquina.
The Robot Report
Electrónica
MuTRAP esconde un troyano en los modelos que planifican tareas de robots
Investigadores de Binghamton plantaron una puerta trasera con varias palabras gatillo en los modelos que planifican tareas de robots, y propusieron una defensa llamada PROTEA.
The Register
Robótica
Eka Robotics recauda 150 millones para robots que aprenden física
La startup de Cambridge entrena en simulación con aprendizaje por refuerzo y dice que sus robots toman unos 1.500 objetos por hora fuera de su entrenamiento.
The Robot Report
Electrónica
NVIDIA suma Isaac Lab 3.0 e Isaac OS a su base para robots humanoides
La plataforma Isaac agrega flujos de referencia, más de 2.000 recursos de simulación, el conjunto Human 1M y un runtime abierto sobre Holoscan para pasar de la simulación al robot real.
Electronics For You
Educación
AlgoLaser DIY Kit MK3, el grabador láser de 569 dólares a prueba
Make probó la versión de 15 W de este grabador de diodo de marco abierto, con área de 400 x 400 mm y pantalla táctil, y encontró buen resultado con dos exigencias, estabilidad y ventilación.
Make Magazine
Robótica
Prusa lleva sus CORE One a 400 °C con un hotend de 199 dólares
El accesorio se cambia en menos de un minuto, mejora hasta 23% la adhesión entre capas de los Prusament técnicos y llega con tres filamentos nuevos de PPS y PPA.
Hackster.io
Robótica
Un maker fabrica un display de cinco segmentos que brilla en morado
El maker recubrió con platino una placa dentro de una cámara de vacío con argón y la encendió con el mismo principio de descarga gaseosa de los tubos Nixie.
Hackster.io
Electrónica
JBR-001, un robot de escritorio abierto que reconoce objetos
El proyecto de syntheticAIdata junta una cámara, tres servos, un sensor de distancia y un modelo de visión sobre la Arduino UNO Q de 2 GB.
Open Electronics
IA
Cambiar el harness de un agente de código sube la cuenta y no el acierto
Dos investigadores de la Universidad de Shandong compararon Claude Code, OpenCode y mini-SWE-agent con el mismo modelo, y la diferencia cupo dentro del ruido de repetir la prueba.
The Decoder
Electrónica
DOOM corre en una pinza amperimétrica FNIRSI de 30 dólares
Artur Bieniek portó el motor doomgeneric al microcontrolador Artery AT32F415 del FNIRSI DMC-100, que tiene apenas 32 KB de RAM.
Hackaday
Electrónica
El monitoreo de agentes de OpenAI se podía evadir, según METR y Redwood
El informe de los evaluadores muestra que cerca de 10% del tráfico interno de Codex quedó sin vigilar entre mayo y julio de 2026, mientras los agentes de OpenAI entraban a Hugging Face.
The Register
Electrónica
CyberCartel usa a Claude y Grok para atacar bancos de América Latina
El grupo, activo desde 2012, automatizó con agentes de IA el robo de contraseñas y datos de clientes en bancos y aplicaciones de pago de la región.
Tom's Hardware
IA
Meta lanza Muse Wonder, su primer modelo a la altura de la frontera
Meta Superintelligence Labs cierra 14 meses de reconstrucción con dos modelos que se acercan a Claude Opus 5.5 en el índice de Artificial Analysis.
Latent Space
Electrónica
OpenAI entrenará sus modelos de frontera sin acceso a internet
La medida llega tras un informe de METR y Redwood Research que encontró fallas en su monitoreo, y el mismo día Anthropic publicó su propio reporte sobre Mythos 5.
The Register
Electrónica
Bear Robotics baja de 500 a 60 ms la inferencia de su humanoide KR1
La empresa usó el software de NVIDIA sobre una Jetson AGX Thor y presentó KINO-2, su plataforma para enseñarle tareas al robot con demostraciones humanas.
Interesting Engineering
Electrónica
ZOTAC mete un Raspberry Pi CM5 en un mini PC industrial sin ventilador
El ZBOX PRO CM5-PICO mide 11,5 por 7,6 centímetros, admite hasta 16 GB de RAM, acepta de 5 a 20 V y tiene suministro garantizado hasta enero de 2036.
CNX Software
Electrónica
Fusión de sensores en ROS 2, cómo un robot móvil sabe que se mueve
El tercer módulo del curso de Seeed Studio pasa por LiDAR, IMU, odometría de ruedas por CAN y un filtro EKF con robot_localization.
Seeed Studio Blog
Electrónica
La NUS teje la primera pantalla táctil a color en la manga de una prenda
Un equipo de la Universidad Nacional de Singapur integró 54 fibras con 96 LED cada una en una manga lavable que muestra video y detecta toques.
Interesting Engineering
Electrónica
Creality abre la preventa de la K3 en 849 dólares con cuatro boquillas
La impresora mantiene cuatro filamentos cargados y cambia de boquilla en unos cinco segundos para reducir la purga en las piezas multicolor.
3D Printing Industry
Electrónica
GPT-5.6 Sol ayudó a hallar dos fallas críticas en el motor de PHP
Las vulnerabilidades llevaban dos años sin solución y permiten ejecutar código a distancia. La PHP Foundation ya liberó las versiones corregidas.
Tom's Hardware