Sam Rodriques
@SGRodriques
Director and CEO at FutureHouse and Edison Scientific. Building an AI scientist.
加入 November 2014
245 正在关注 22.3K 粉丝
I'm sympathetic to mathematicians who worry that AI will lead to a bunch of "alien proofs" that no human understands.
It may be that the future of math is mostly finding alien proofs and doing the work needed to make them intelligible to humans. Which, frankly, is the situation in biology already.
显示更多
