[–] applrt 5mo ago ↗ 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 5mo ago ↗ Has this problem never been solved before? How do we know it's not just regurgitating a solution that came before it?
[–] isaacfrond 5mo ago ↗ The proof is here: https://www.overleaf.com/project/69dd1d8437eba662fda82929
5 comments of 20
[ 3.8 ms ] story [ 29.2 ms ] threadhttps://www.math.inc/
That AI startup also partners with Terence Tao:
https://www.math.inc/veritas-fellowships
https://www.math.inc/a-conversation-with-terry-tao
These two AI "enthusiasts" have massive conflicts of interest, which should perhaps be investigated by an ethics commission.