Jim Dukelow
@jsdukelow.bsky.social
Bridge player, swimmer, mathematician and risk analyst, north end of Great Basin shrub-steppe resident, former faculty at various unis, polyglot of sorts, cv and list of paper at www.redmountainconsulting.biz, former hiker/camper and skier.
Reposted by Jim Dukelow
Reposted by Jim Dukelow
The can’t do advanced mathematical reasoning, they can do some ad-hoc cleverness which is occasionally very useful and can help solve genuine mathematical problems with assisted. Essentially repeating what tao says here: mathstodon.xyz/@tao/1157223...
Terence Tao (@[email protected])
I doubt that anything resembling genuine "artificial general intelligence" is within reach of current #AI tools. However, I think a weaker, but still quite valuable, type of "artificial general cleve...
mathstodon.xyz
December 20, 2025 at 9:39 PM
The can’t do advanced mathematical reasoning, they can do some ad-hoc cleverness which is occasionally very useful and can help solve genuine mathematical problems with assisted. Essentially repeating what tao says here: mathstodon.xyz/@tao/1157223...