AI being used to locate human solutions to Erdos problems

unkz
2025-10-17T17:06:03Z

Link URL: https://mathstodon.xyz/@tao/115385022005130505

Comments URL: https://tildes.net/~science/1qrv/ai_being_used_to_locate_human_solutions_to_erdos_problems

Votes: 6

Comments: 1