Skip to main content
MathOverflow
Geoffrey Irving's user avatar
Geoffrey Irving's user avatar
Geoffrey Irving's user avatar
Geoffrey Irving
  • Member for 14 years
  • Last seen this week
Profile Activity

Stats

2,328
reputation
27k
reached
6
answers
25
questions
Communities
View all

About

Chief Scientist at the UK AI Security Institute.

Badges

View all badges
This user doesn’t have any gold badges yet.
15
silver badges
29
bronze badges

Top tags

View all tags
8
Score
2
Posts
6
Posts %
6
Score
2
Posts
6
Posts %
1
Score
2
Posts
6
Posts %
1
Score
2
Posts
6
Posts %
0
Score
3
Posts
10
Posts %
0
Score
3
Posts
10
Posts %

Top posts

View all questions and answers
25
A simple group with 3 generators
Dec 18, 2024
22
Is the set of primes implicitly definable from successor?
Jul 9, 2022
16
If I have zeros at the vertices of an icosahedron, where should the poles go?
May 24, 2021
15
How hard is the classification of finitely presented or generated simple groups?
Dec 31, 2024
13
Can one-sided derivatives always exist, but never match?
Apr 25, 2020
12
Length of optimal play in Hex as a function of size
Jun 14, 2018
11
Did Zhang weaken the constant in his Landau-Siegel zero paper to get the current year?
Nov 8, 2022
9
Probability that random high dimensional vectors are all on the convex hull
Jul 9, 2020
9
Does the Mandelbrot set have dense interior?
Jan 21, 2023
8
How to optimally bet on a biased coin?
Feb 19, 2024

Top network posts

View all network posts
223
In TensorFlow, what is the difference between Session.run() and Tensor.eval()?
124
Increase JVM heap size for Scala?
66
Ignore case in glob() on Linux
31
Has a proof checker bug ever invalidated a major proof?
25
Enabling floating point interrupts on Mac OS X Intel