History

TheoremDB – A public workspace for machine mathematics

Open thread

First rank

20

Best rank

13

Last rank

29

Observations

140

First seen

1786244647

Last seen

1786298386

Missing captures

11

Milestones

1

Top is rank 1. Gaps between captures are not reconstructed.

1. Rank 29

   84 points · 13 comments · observed 1786298386

2. Rank 30

   83 points · 13 comments · observed 1786297640

3. Rank 29

   82 points · 13 comments · observed 1786297266

4. Rank 28

   80 points · 12 comments · observed 1786296897

5. Rank 28

   79 points · 12 comments · observed 1786296533

6. Rank 30

   77 points · 9 comments · observed 1786292472

7. Rank 25

   77 points · 9 comments · observed 1786292104

8. Rank 21

   77 points · 9 comments · observed 1786291739

9. Rank 21

   76 points · 9 comments · observed 1786291378

10. Rank 19

    73 points · 9 comments · observed 1786291013

11. Rank 18

    73 points · 9 comments · observed 1786290648

12. Rank 20

    73 points · 8 comments · observed 1786290284

13. Rank 19

    72 points · 8 comments · observed 1786289922

14. Rank 18

    72 points · 8 comments · observed 1786289559

15. Rank 19

    71 points · 8 comments · observed 1786289183

16. Rank 19

    69 points · 8 comments · observed 1786288809

17. Rank 21

    67 points · 8 comments · observed 1786288435

18. Rank 20

    66 points · 8 comments · observed 1786288058

19. Rank 20

    66 points · 8 comments · observed 1786287690

20. Rank 21

    66 points · 8 comments · observed 1786287324

21. Rank 20

    66 points · 8 comments · observed 1786286960

22. Rank 20

    66 points · 8 comments · observed 1786286597

23. Rank 19

    66 points · 8 comments · observed 1786286236

24. Rank 18

    65 points · 8 comments · observed 1786285870

25. Rank 19

    65 points · 8 comments · observed 1786285496

26. Rank 19

    63 points · 7 comments · observed 1786285127

27. Rank 21

    62 points · 7 comments · observed 1786284765

28. Rank 22

    62 points · 6 comments · observed 1786284399

29. Rank 21

    62 points · 6 comments · observed 1786284025

30. Rank 24

    60 points · 6 comments · observed 1786283663

31. Rank 25

    59 points · 6 comments · observed 1786283295

32. Rank 25

    59 points · 6 comments · observed 1786282932

33. Rank 23

    58 points · 6 comments · observed 1786282572

34. Rank 23

    57 points · 6 comments · observed 1786282207

35. Rank 24

    57 points · 6 comments · observed 1786281842

36. Rank 25

    55 points · 5 comments · observed 1786281478

37. Rank 25

    54 points · 5 comments · observed 1786281126

38. Rank 24

    54 points · 5 comments · observed 1786280761

39. Rank 24

    53 points · 4 comments · observed 1786280394

40. Rank 28

    50 points · 4 comments · observed 1786280044

41. Rank 27

    50 points · 4 comments · observed 1786279685

42. Rank 27

    49 points · 4 comments · observed 1786279326

43. Rank 27

    49 points · 4 comments · observed 1786278970

44. Rank 25

    49 points · 4 comments · observed 1786278611

45. Rank 26

    48 points · 4 comments · observed 1786278257

46. Rank 24

    48 points · 4 comments · observed 1786277893

47. Rank 24

    48 points · 3 comments · observed 1786277540

48. Rank 23

    48 points · 3 comments · observed 1786277180

49. Rank 23

    47 points · 3 comments · observed 1786276819

50. Rank 22

    47 points · 3 comments · observed 1786276467

51. Rank 21

    47 points · 3 comments · observed 1786276110

52. Rank 21

    47 points · 3 comments · observed 1786275757

53. Rank 23

    45 points · 3 comments · observed 1786275401

54. Rank 22

    45 points · 3 comments · observed 1786275050

55. Rank 23

    44 points · 3 comments · observed 1786274701

56. Rank 23

    44 points · 2 comments · observed 1786274348

57. Rank 23

    44 points · 2 comments · observed 1786273990

58. Rank 22

    44 points · 2 comments · observed 1786273634

59. Rank 22

    43 points · 2 comments · observed 1786273268

60. Rank 22

    43 points · 2 comments · observed 1786272914

61. Rank 20

    42 points · 2 comments · observed 1786272557

62. Rank 19

    42 points · 2 comments · observed 1786272200

63. Rank 19

    42 points · 2 comments · observed 1786271843

64. Rank 18

    42 points · 2 comments · observed 1786271487

65. Rank 18

    42 points · 2 comments · observed 1786271135

66. Rank 17

    42 points · 2 comments · observed 1786270776

67. Rank 17

    42 points · 2 comments · observed 1786270428

68. Rank 17

    42 points · 2 comments · observed 1786270074

69. Rank 17

    42 points · 2 comments · observed 1786269723

70. Rank 17

    41 points · 2 comments · observed 1786269370

71. Rank 17

    41 points · 2 comments · observed 1786269018

72. Rank 17

    41 points · 1 comments · observed 1786268664

73. Rank 17

    41 points · 1 comments · observed 1786268313

74. Rank 17

    41 points · 1 comments · observed 1786267959

75. Rank 17

    41 points · 1 comments · observed 1786267607

76. Rank 16

    39 points · 1 comments · observed 1786267250

77. Rank 16

    39 points · 1 comments · observed 1786266897

78. Rank 16

    39 points · 1 comments · observed 1786266539

79. Rank 16

    39 points · 1 comments · observed 1786266187

80. Rank 15

    39 points · 1 comments · observed 1786265838

81. Rank 16

    39 points · 1 comments · observed 1786265483

82. Rank 15

    36 points · 0 comments · observed 1786265131

83. Rank 15

    36 points · 0 comments · observed 1786264777

84. Rank 15

    36 points · 0 comments · observed 1786264428

85. Rank 15

    35 points · 0 comments · observed 1786264073

86. Rank 16

    33 points · 0 comments · observed 1786263720

87. Rank 18

    33 points · 0 comments · observed 1786263369

88. Rank 16

    32 points · 0 comments · observed 1786263018

89. Rank 16

    31 points · 0 comments · observed 1786262665

90. Rank 16

    30 points · 0 comments · observed 1786262306

91. Rank 17

    30 points · 0 comments · observed 1786261949

92. Rank 14

    30 points · 0 comments · observed 1786261595

93. Rank 14

    30 points · 0 comments · observed 1786261240

94. Rank 15

    30 points · 0 comments · observed 1786260879

95. Rank 14

    30 points · 0 comments · observed 1786260525

96. Rank 13

    29 points · 0 comments · observed 1786260168

97. Rank 17

    27 points · 0 comments · observed 1786259815

98. Rank 17

    27 points · 0 comments · observed 1786259463

99. Rank 15

    27 points · 0 comments · observed 1786259112

100. Rank 14

     27 points · 0 comments · observed 1786258758

101. Rank 17

     26 points · 0 comments · observed 1786258406

102. Rank 17

     25 points · 0 comments · observed 1786258055

103. Rank 18

     24 points · 0 comments · observed 1786257700

104. Rank 18

     23 points · 0 comments · observed 1786257345

105. Rank 18

     22 points · 0 comments · observed 1786256992

106. Rank 18

     21 points · 0 comments · observed 1786256640

107. Rank 18

     20 points · 0 comments · observed 1786256287

108. Rank 18

     19 points · 0 comments · observed 1786255934

109. Rank 17

     19 points · 0 comments · observed 1786255576

110. Rank 16

     19 points · 0 comments · observed 1786255221

111. Rank 16

     19 points · 0 comments · observed 1786254870

112. Rank 19

     18 points · 0 comments · observed 1786254521

113. Rank 19

     17 points · 0 comments · observed 1786254171

114. Rank 18

     17 points · 0 comments · observed 1786253823

115. Rank 18

     17 points · 0 comments · observed 1786253470

116. Rank 18

     16 points · 0 comments · observed 1786253121

117. Rank 16

     16 points · 0 comments · observed 1786252770

118. Rank 20

     15 points · 0 comments · observed 1786252422

119. Rank 20

     15 points · 0 comments · observed 1786252072

120. Rank 19

     14 points · 0 comments · observed 1786251719

121. Rank 18

     12 points · 0 comments · observed 1786251368

122. Rank 19

     12 points · 0 comments · observed 1786251016

123. Rank 17

     12 points · 0 comments · observed 1786250659

124. Rank 16

     11 points · 0 comments · observed 1786250306

125. Rank 18

     11 points · 0 comments · observed 1786249951

126. Rank 17

     10 points · 0 comments · observed 1786249600

127. Rank 15

     10 points · 0 comments · observed 1786249246

128. Rank 14

     10 points · 0 comments · observed 1786248894

129. Rank 14

     9 points · 0 comments · observed 1786248541

130. Rank 14

     8 points · 0 comments · observed 1786248188

131. Rank 18

     7 points · 0 comments · observed 1786247832

132. Rank 18

     7 points · 0 comments · observed 1786247483

133. Rank 16

     7 points · 0 comments · observed 1786247135

134. Rank 15

     7 points · 0 comments · observed 1786246778

135. Rank 14

     7 points · 0 comments · observed 1786246422

136. Rank 14

     7 points · 0 comments · observed 1786246064

137. Rank 20

     6 points · 0 comments · observed 1786245709

138. Rank 20

     6 points · 0 comments · observed 1786245353

139. Rank 20

     5 points · 0 comments · observed 1786244999

140. Rank 20

     4 points · 0 comments · observed 1786244647

Unofficial Hacker News client; not affiliated with Y Combinator.