Google DeepMind Used a Large Language Model to Solve an Unsolvable Math Problem
Briefly

"It's not in the training data-it wasn't even known," says coauthor Pushmeet Kohli, vice president of research at Google DeepMind.
FunSearch (so called because it searches for mathematical functions, not because it's fun) continues a streak of discoveries in fundamental math and computer science that DeepMind has made using AI.
Read at Acm
[
add
]
[
|
|
]