Neel Somani heeft een Erdos-probleem opgelost?
Neel Somani
Neel Somani11 jan, 13:00
Weekendwinst: Het bewijs dat ik heb ingediend voor het Erdos Probleem #397 is geaccepteerd door Terence Tao. Het bewijs is gegenereerd door GPT 5.2 Pro en geformaliseerd met Harmonic. Veel open problemen liggen daar, wachtend op iemand die ChatGPT aanmoedigt om ze op te lossen:
Het is leuk om oude personages in het wild te zien terwijl CT uit elkaar valt.
48