GPT-5.6 Pro pomógł obalić hipotezę matematyczną nierozwiązaną od 30 lat

Czworo badaczy opracowało kontrprzykład obalający hipotezę HRT z dziedziny analizy harmonicznej, która pozostawała nierozwiązana od trzech dekad. Kluczową rolę w wypracowaniu konfiguracji i strategii dowodu odegrał ChatGPT oparty na modelu GPT-5.6 Pro, choć jego rozumowanie zawierało pewne luki wymagające weryfikacji przez ludzi. To jeden z pierwszych przypadków, gdy AI realnie przyczyniła się do przełomu w poważnej matematyce.