fratellobigio•15.04.26 03:48

GPT-5.4 Pro solves Erdős Problem #1196

Источник

Комментарии

isaacfrond

15.04.26 09:33

The proof is here: https://www.overleaf.com/project/69dd1d8437eba662fda82929

fratellobigio

15.04.26 03:51

https://xcancel.com/Liam06972452/status/2044051379916882067#...

qsera

15.04.26 05:16

Yawn..

applrt

15.04.26 06:18

One of the people on the Erdös problem website (https://www.erdosproblems.com/forum/thread/1196), Jared Lichtman, is involved in a AI startup:https://www.math.inc/That AI startup also partners with Terence Tao:https://www.math.inc/veritas-fellowshipshttps://www.math.inc/a-conversation-with-terry-taoThese two AI "enthusiasts" have massive conflicts of interest, which should perhaps be investigated by an ethics commission.

razorbeamz

15.04.26 07:55

Has this problem never been solved before? How do we know it's not just regurgitating a solution that came before it?