MindPatternSubscribe

Source trail

Mathstodon (via r/singularity, 76 upvotes)

Public MindPattern findings, entities, and graph evidence that cite this source.

Findings

1

All-time hits

1

High value

0

Last seen

2026-09-03

Related findings

2026-09-03 / REDDITTerence Tao proposes reserving some open math problems as off-limits to AI solversIn a Mathstodon post, Tao argues that pre-AI open problems are a finite supply of uncontaminated benchmarks: once a solution is published you can no longer tell whether a later AI solved it independently or absorbed the answer in training. He adds that open problems have value for training human mathematicians and developing new techniques, and suggests the community could designate certain problems off-limits to automated solvers through social norms while steering AI toward others. The top reply pushes back hard, arguing this is just a public restatement of the private-eval-set idea that ARC-AGI already implements, and that the incentives to defect are overwhelming.

Open latest cited source