Alan Turing

person · 26 menciones

Alan Mathison Turing fue un matemático, lógico, informático teórico, criptógrafo, filósofo y biólogo teórico británico. Es considerado como uno de los padres de la ciencia de la computación y precursor de la informática moderna. Proporcionó una formalización influyente de los conceptos de algoritmo y computación: la máquina de Turing. Formuló su propia versión que hoy es ampliamente aceptada como la tesis de Church-Turing (1936). Durante la Segunda Guerra Mundial, trabajó en descifrar los código

Ver en Wikipedia

Noticias que mencionan Alan Turing

La IA amenaza la comprensión humana de la matemática y la programación

El artículo analiza cómo la integración de agentes de inteligencia artificial en sistemas de demostración formal, como Lean, está provocando una crisis de comprensión en la comunidad matemática y científica de la computación. A pesar de que la imposibilidad de un sistema matemático completo y consis

Editsqlite: editor local de SQLite sin servidor ni nube

Editsqlite es una herramienta de software que permite abrir, editar y exportar bases de datos SQLite, descargas SQL y archivos CSV directamente en el navegador, sin necesidad de conexión a internet ni cuentas de usuario. Su principal característica es la privacidad total: el archivo original se lee

Cecilia Berdichevsky, pionera de la informática en Argentina

Cecilia Berdichevsky, conocida por su nombre de nacimiento Mirjam Tuwjasz, fue una científica de la computación argentina que marcó la historia de la informática en el país. Nacida en 1925 en Vidzy, Polonia, y criada en Avellaneda, Argentina, su trayectoria profesional se centró en el desarrollo y u

doubleAI lanza Maxwell, el primer modelo de ejecución de código

doubleAI ha presentado Maxwell, un modelo de inteligencia artificial diseñado para ejecutar y optimizar código en tiempo real, marcando un hito en la categoría de modelos de ejecución de código (CEM). A diferencia de los modelos de IA que generan código, Maxwell opera dentro del programa en ejecució

La IA ignora la complejidad evolutiva del cerebro humano

El cerebro humano no es una simple máquina de computación, sino un sistema de control por retroalimentación evolucionado durante millones de años. Un artículo reciente de The Verge argumenta que la industria de la inteligencia artificial se basa en un modelo computacional simplificado que no captura

Griffin-Lite de Tavus supera el test de Turing en vídeo en tiempo real

Tavus ha presentado Griffin-Lite, un modelo de inteligencia artificial que genera interacciones audiovisuales en directo capaces de confundir a los usuarios con personas reales. En un experimento con 54 participantes, el 48% de ellos creyó que su interlocutora era humana tras una conversación de un

IA de OpenAI y Anthropic resuelven mensajes Enigma no descifrados

Carter Leffen y Frode Weirerud han logrado descifrar dos mensajes cifrados con máquinas Enigma que habían permanecido sin resolver desde 2005, utilizando modelos de lenguaje de gran escala (LLM) de OpenAI y Anthropic. Leffen empleó el modelo Astra de OpenAI para identificar un mensaje archivado, con

¿Puede un informático construir un cerebro?

Un equipo del Laboratorio Cold Spring Harbor plantea el desarrollo cerebral como un problema de ingeniería computacional: ¿cómo puede una única célula, siguiendo un programa contenido en el genoma, dar lugar a un cerebro completo en un tiemporazonable? El artículo reformula la pregunta de la neuroci

La teoría computacional de la mente: orígenes, debates y alternativas

La teoría computacional de la mente (CTM) sostiene que los procesos mentales son, en esencia, cómputos ejecutados por un sistema computacional. Surgió con fuerza en las décadas de 1960 y 1970 dentro de la ciencia cognitiva y gozó durante años de un estatus casi ortodoxo, aunque más tarde ha recibido

Dejad entrar a las máquinas

La fundadora de una empresa de inteligencia artificial firma un ensayo personal que oscila entre la divulgación y la reflexión filosófica para defender una idea concreta: los modelos de lenguaje grandes (LLM) están aquí para quedarse y, dado que los laboratorios de IA siguen rastreando la web para a

¿Qué tan reales son los números reales?

En noviembre de 2004, el matemático y científico de la computación Gregory J. Chaitin publicó en arXiv el ensayo «How real are real numbers?», una pieza de matemáticas y fundamentos de la informática que cuestiona la noción clásica de número real como entidad bien definida y 'completamente existente

Tim Roughgarden explora la computación como concepto universal y fundamental

El curso 'Computation as a Universal and Fundamental Concept', impartido por Tim Roughgarden, profesor de la School of Mathematics del Institute for Advanced Study, ofrece una introducción accesible a las bases teóricas de la informática. La serie parte de una pregunta sencilla: ¿hay algo que los co

Las reglas de transliteración del Unicode son Turing-completas

Un análisis reciente demuestra que las reglas de transliteración definidas en el estándar Unicode UTS #35, diseñadas para transformar caracteres como «é» en «e», poseen bajo su semántica natural una potencia de cómputo equivalente a la de una máquina de Turing. Estas reglas, distribuidas como datos

Alan Turing y Delilah: el proyecto secreto de cifrado de voz

El 8 de mayo de 1945, jornada de la victoria en Europa, Alan Turing y su asistente Donald Bayley celebraron el fin de la guerra con un largo paseo por el campo inglés. Bayley llevaba más de un año trabajando a las órdenes de Turing en un laboratorio secreto de electrónica, sin conocer apenas la vida

Nuevo captcha evalúa el proceso mental para detectar bots de IA

Investigadores de Roundtable Technologies han presentado CogCAPTCHA30, una innovadora propuesta de verificación que explota las diferencias cognitivas entre humanos y agentes de inteligencia artificial. Ante la vulnerabilidad de los CAPTCHAs tradicionales ante modelos de visión por computadora, este

Descubren la primera música de computadora en grabación restaurada

Un equipo de investigadores ha restaurado una grabación inédita de 1951 que revela la primera música generada por computadora, desafiando la narrativa histórica predominante. La grabación, realizada por la BBC en Manchester, Inglaterra, capturó melodías interpretadas por una computadora pionera en e

IA y Límites: ¿Puede la Automatización Romper Barreras?

Este artículo explora la idea de los "círculos mágicos" y cómo limitan la aplicación de la automatización, incluso con el avance de la inteligencia artificial. La analogía central es la herramienta de "relleno de color" (flood fill) en programas de edición de imágenes como Photoshop. Esta herramient