Última hora
ESCamión de basura atropella a varias personas en Pamplona, con un muerto y cuatro heridosESLa tregua entre Irán y EEUU se vuelve a poner en riesgo tras nuevos ataquesESTrágico accidente aéreo en Francia: 11 muertos en estrellamiento de avioneta de paracaidismoESEuropa se rearma ante la incertidumbre de Estados Unidos y la amenaza rusaESVenezuela a ciegas ante el terremoto: solo 4 de 300 estaciones sísmicas funcionanESJapón se enfrenta a Brasil con 'El camino japonés' como guía hacia la gloria mundialESCanadá se clasifica para los octavos de final del Mundial tras vencer a Sudáfrica en el tiempo de descuentoESTractor contra coche: el incidente viral que ha convertido a un agricultor leonés en símbolo de la crisis ruralESDetenida pareja por presuntos maltratos tras fallecer su bebé de tres meses en SabadellESCuatro personas mueren ahogadas en la Península durante el último fin de semana de junioESCamión de basura atropella a varias personas en Pamplona, con un muerto y cuatro heridosESLa tregua entre Irán y EEUU se vuelve a poner en riesgo tras nuevos ataquesESTrágico accidente aéreo en Francia: 11 muertos en estrellamiento de avioneta de paracaidismoESEuropa se rearma ante la incertidumbre de Estados Unidos y la amenaza rusaESVenezuela a ciegas ante el terremoto: solo 4 de 300 estaciones sísmicas funcionanESJapón se enfrenta a Brasil con 'El camino japonés' como guía hacia la gloria mundialESCanadá se clasifica para los octavos de final del Mundial tras vencer a Sudáfrica en el tiempo de descuentoESTractor contra coche: el incidente viral que ha convertido a un agricultor leonés en símbolo de la crisis ruralESDetenida pareja por presuntos maltratos tras fallecer su bebé de tres meses en SabadellESCuatro personas mueren ahogadas en la Península durante el último fin de semana de junio
Newsgather

mathematik

Estable6 noticias5 fuentesÚltima actualización: 6 g önce

Últimas noticias

23-Jähriger löst mit GPT-5.4 Pro jahrzehntealtes Erdős-Problem #1196
En desarrollo
Ciencia·29.04.2026Resumen IA

23-Jähriger löst mit GPT-5.4 Pro jahrzehntealtes Erdős-Problem #1196

Der 23-jährige Liam Price hat mit GPT-5.4 Pro das Erdős-Problem #1196 gelöst, das sich mit der Erdős-Summe primitiver Mengen befasst. Die KI bewies, dass die Summe asymptotisch gegen 1 konvergiert, und verbesserte damit die bisher beste Schranke von Jared Lichtman erheblich. Der Beweis nutzt Markov-Ketten zur Modellierung der Primfaktor-Struktur ganzer Zahlen – ein neuartiger Ansatz, den Terence Tao als engere Verbindung zwischen analytischer Zahlentheorie und stochastischer Prozesstheorie lobte. Das Problem wurde formal im Beweissassistenten Lean verifiziert.

H
Heise Online