Descubrimiento de matemáticas semiautónomo a través de Gemini: un estudio sobre los problemas de Erdős [ENG]

Presentamos un estudio sobre el descubrimiento matemático semiautónomo, utilizando Gemini para evaluar sistemáticamente 700 conjeturas etiquetadas como 'Abiertas' en la base de datos de Problemas de Erdős de Bloom. Abordamos 13 problemas que fueron marcados como 'Abiertos' en la base de datos que lograron ser resueltos: 5 con soluciones novedosas y 8 con soluciones previas en la literatura.

[#1 sleep_timer]

Erdos es el que viene despues der uno, tampoco hacía falta Einstein para eso.

[#2 Sammy_Jankis]

#1 Es tan malo que me has arrancado una sonrisa, pirata! Toma mi positivo.

[#5 rojo_separatista]

#1, la tarea intelectual más humana y elevada que existe es el sentido del humor, no tengo ninguna duda. Es el único campo intelectual en el que la IA sigue fallando como una escopeta de feria.

[#4 Riski]

Relacionada: www.meneame.net/story/sobre-resolucion-problemas-erdos-usando-intelige

[#3 pitercio]

La risa va a ser cuando verifiquen que la IA se ha inventado teoremas o lo que dicen en realidad