At the AGI 2024 conference in Seattle, Josef Urban, ELLIS Fellow and researcher at CIIRC CTU, along with Thibault Gauthier, presented their invited talk titled “Solving One Third of the OEIS from Scratch”. This talk showcased their innovative AI system, QSynt, developed at CIIRC CTU. In collaboration with Mirek Olšák from Cambridge, Urban and Gauthier introduced an AI system capable of solving over 125,000 mathematical sequences from the renowned OEIS (Online Encyclopedia of Integer Sequences) database, all without any initial knowledge and minimal computational resources.
The AI system operates in a self-improving loop, demonstrating the potential of scalable, unsupervised learning for complex problem-solving. This cutting-edge work was featured alongside other notable presentations, such as those by AI researchers François Chollet on the ARC AGI $1M Prize and Gary Marcus on robust AI foundations.
For more information, the full talk and other AGI 2024 presentations are available online.