"Artificial intelligence has attained an impressive series of feats - solving problems from the International Math Olympiad, conducting encyclopedic surveys of academic literature, and even finding solutions to some longstanding research questions. Yet these systems largely remain unable to match top experts in the conceptual frontiers of research math. Now a Harvard professor and other world-renowned mathematicians have launched a grand experiment to more clearly define the boundary between artificial and human intelligence."
""This is a tricky question to answer because the capabilities of AI are improving all the time," said Lauren Williams, Dwight Parker Robinson Professor of Mathematics at Harvard, who recently won a genius grant from the MacArthur Foundation. "But, at least at the moment, AI is not so good at making a creative leap and solving problems far outside the kinds of problems that already have been solved.""
Artificial intelligence has achieved notable successes in mathematics, including solving International Math Olympiad problems, surveying academic literature, and resolving some research questions. These systems still fall short of matching top experts on conceptual research frontiers. Lauren Williams and ten other world-renowned mathematicians organized First Proof to create an objective methodology for evaluating AI on research-level math. The initiative challenges AI companies to solve difficult problems the mathematicians recently solved but kept private. The organizing team includes a Fields Medalist and two MacArthur fellows. DeepMind reached IMO-level performance, yet many research problems remain resistant to current AI capabilities.
Read at Harvard Gazette
Unable to calculate read time
Collection
[
|
...
]