9 citations · 13 across the 4 of their papers we have counts for
4 papers
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Elliot Glazer, Ege Erdil, Tamay Besiroglu +21
We introduce FrontierMath, a benchmark of hundreds of original, exceptionally challenging mathematics problems crafted and vetted by expert mathematicians. The questions cover most…
Uncovering Deceptive Tendencies in Language Models: A Simulated Company AI Assistant
Olli Järviniemi, Evan Hubinger
We study the tendency of AI systems to deceive by constructing a realistic simulation setting of a company AI assistant. The simulated company employees provide tasks for the assis…
Gaussian almost primes in almost all narrow sectors
Olli Järviniemi, Joni Teräväinen
We show that almost all sectors of the disc of area contain products of exactly two Gaussian primes, and that almost all secto…
Composite values of shifted exponentials
Olli Järviniemi, Joni Teräväinen
A well-known open problem asks to show that is composite for almost all values of . This was proposed by Gil Kalai as a possible Polymath project, and was posed original…