# omnimath - domain: science-math - n_tasks: 4428 - n_runnable: 0 ## Tasks | task | difficulty | language | runnable | harnesses tried | |---|---|---|---|---| | [omnimath_0](https://harnessreport.com/tasks/omnimath/omnimath_0.md) | hard | | | 0 | | [omnimath_1](https://harnessreport.com/tasks/omnimath/omnimath_1.md) | hard | | | 0 | | [omnimath_10](https://harnessreport.com/tasks/omnimath/omnimath_10.md) | hard | | | 0 | | [omnimath_100](https://harnessreport.com/tasks/omnimath/omnimath_100.md) | hard | | | 0 | | [omnimath_1000](https://harnessreport.com/tasks/omnimath/omnimath_1000.md) | hard | | | 0 | | [omnimath_1001](https://harnessreport.com/tasks/omnimath/omnimath_1001.md) | hard | | | 0 | | [omnimath_1002](https://harnessreport.com/tasks/omnimath/omnimath_1002.md) | hard | | | 0 | | [omnimath_1003](https://harnessreport.com/tasks/omnimath/omnimath_1003.md) | hard | | | 0 | | [omnimath_1004](https://harnessreport.com/tasks/omnimath/omnimath_1004.md) | hard | | | 0 | | [omnimath_1005](https://harnessreport.com/tasks/omnimath/omnimath_1005.md) | hard | | | 0 | | [omnimath_1006](https://harnessreport.com/tasks/omnimath/omnimath_1006.md) | hard | | | 0 | | [omnimath_1007](https://harnessreport.com/tasks/omnimath/omnimath_1007.md) | hard | | | 0 | | [omnimath_1008](https://harnessreport.com/tasks/omnimath/omnimath_1008.md) | hard | | | 0 | | [omnimath_1009](https://harnessreport.com/tasks/omnimath/omnimath_1009.md) | hard | | | 0 | | [omnimath_101](https://harnessreport.com/tasks/omnimath/omnimath_101.md) | hard | | | 0 | | [omnimath_1010](https://harnessreport.com/tasks/omnimath/omnimath_1010.md) | hard | | | 0 | | [omnimath_1011](https://harnessreport.com/tasks/omnimath/omnimath_1011.md) | hard | | | 0 | | [omnimath_1012](https://harnessreport.com/tasks/omnimath/omnimath_1012.md) | hard | | | 0 | | [omnimath_1013](https://harnessreport.com/tasks/omnimath/omnimath_1013.md) | hard | | | 0 | | [omnimath_1014](https://harnessreport.com/tasks/omnimath/omnimath_1014.md) | hard | | | 0 | | [omnimath_1015](https://harnessreport.com/tasks/omnimath/omnimath_1015.md) | hard | | | 0 | | [omnimath_1016](https://harnessreport.com/tasks/omnimath/omnimath_1016.md) | hard | | | 0 | | [omnimath_1017](https://harnessreport.com/tasks/omnimath/omnimath_1017.md) | hard | | | 0 | | [omnimath_1018](https://harnessreport.com/tasks/omnimath/omnimath_1018.md) | hard | | | 0 | | [omnimath_1019](https://harnessreport.com/tasks/omnimath/omnimath_1019.md) | hard | | | 0 | | [omnimath_102](https://harnessreport.com/tasks/omnimath/omnimath_102.md) | hard | | | 0 | | [omnimath_1020](https://harnessreport.com/tasks/omnimath/omnimath_1020.md) | hard | | | 0 | | [omnimath_1021](https://harnessreport.com/tasks/omnimath/omnimath_1021.md) | hard | | | 0 | | [omnimath_1022](https://harnessreport.com/tasks/omnimath/omnimath_1022.md) | hard | | | 0 | | [omnimath_1023](https://harnessreport.com/tasks/omnimath/omnimath_1023.md) | hard | | | 0 | | [omnimath_1024](https://harnessreport.com/tasks/omnimath/omnimath_1024.md) | hard | | | 0 | | [omnimath_1025](https://harnessreport.com/tasks/omnimath/omnimath_1025.md) | hard | | | 0 | | [omnimath_1026](https://harnessreport.com/tasks/omnimath/omnimath_1026.md) | hard | | | 0 | | [omnimath_1027](https://harnessreport.com/tasks/omnimath/omnimath_1027.md) | hard | | | 0 | | [omnimath_1028](https://harnessreport.com/tasks/omnimath/omnimath_1028.md) | hard | | | 0 | | [omnimath_1029](https://harnessreport.com/tasks/omnimath/omnimath_1029.md) | hard | | | 0 | | [omnimath_103](https://harnessreport.com/tasks/omnimath/omnimath_103.md) | hard | | | 0 | | [omnimath_1030](https://harnessreport.com/tasks/omnimath/omnimath_1030.md) | hard | | | 0 | | [omnimath_1031](https://harnessreport.com/tasks/omnimath/omnimath_1031.md) | hard | | | 0 | | [omnimath_1032](https://harnessreport.com/tasks/omnimath/omnimath_1032.md) | hard | | | 0 | | [omnimath_1033](https://harnessreport.com/tasks/omnimath/omnimath_1033.md) | hard | | | 0 | | [omnimath_1034](https://harnessreport.com/tasks/omnimath/omnimath_1034.md) | hard | | | 0 | | [omnimath_1035](https://harnessreport.com/tasks/omnimath/omnimath_1035.md) | hard | | | 0 | | [omnimath_1036](https://harnessreport.com/tasks/omnimath/omnimath_1036.md) | hard | | | 0 | | [omnimath_1037](https://harnessreport.com/tasks/omnimath/omnimath_1037.md) | hard | | | 0 | | [omnimath_1038](https://harnessreport.com/tasks/omnimath/omnimath_1038.md) | hard | | | 0 | | [omnimath_1039](https://harnessreport.com/tasks/omnimath/omnimath_1039.md) | hard | | | 0 | | [omnimath_104](https://harnessreport.com/tasks/omnimath/omnimath_104.md) | hard | | | 0 | | [omnimath_1040](https://harnessreport.com/tasks/omnimath/omnimath_1040.md) | hard | | | 0 | | [omnimath_1041](https://harnessreport.com/tasks/omnimath/omnimath_1041.md) | hard | | | 0 | | [omnimath_1042](https://harnessreport.com/tasks/omnimath/omnimath_1042.md) | hard | | | 0 | | [omnimath_1043](https://harnessreport.com/tasks/omnimath/omnimath_1043.md) | hard | | | 0 | | [omnimath_1044](https://harnessreport.com/tasks/omnimath/omnimath_1044.md) | hard | | | 0 | | [omnimath_1045](https://harnessreport.com/tasks/omnimath/omnimath_1045.md) | hard | | | 0 | | [omnimath_1046](https://harnessreport.com/tasks/omnimath/omnimath_1046.md) | hard | | | 0 | | [omnimath_1047](https://harnessreport.com/tasks/omnimath/omnimath_1047.md) | hard | | | 0 | | [omnimath_1048](https://harnessreport.com/tasks/omnimath/omnimath_1048.md) | hard | | | 0 | | [omnimath_1049](https://harnessreport.com/tasks/omnimath/omnimath_1049.md) | hard | | | 0 | | [omnimath_105](https://harnessreport.com/tasks/omnimath/omnimath_105.md) | hard | | | 0 | | [omnimath_1050](https://harnessreport.com/tasks/omnimath/omnimath_1050.md) | hard | | | 0 | | [omnimath_1051](https://harnessreport.com/tasks/omnimath/omnimath_1051.md) | hard | | | 0 | | [omnimath_1052](https://harnessreport.com/tasks/omnimath/omnimath_1052.md) | hard | | | 0 | | [omnimath_1053](https://harnessreport.com/tasks/omnimath/omnimath_1053.md) | hard | | | 0 | | [omnimath_1054](https://harnessreport.com/tasks/omnimath/omnimath_1054.md) | hard | | | 0 | | [omnimath_1055](https://harnessreport.com/tasks/omnimath/omnimath_1055.md) | hard | | | 0 | | [omnimath_1056](https://harnessreport.com/tasks/omnimath/omnimath_1056.md) | hard | | | 0 | | [omnimath_1057](https://harnessreport.com/tasks/omnimath/omnimath_1057.md) | hard | | | 0 | | [omnimath_1058](https://harnessreport.com/tasks/omnimath/omnimath_1058.md) | hard | | | 0 | | [omnimath_1059](https://harnessreport.com/tasks/omnimath/omnimath_1059.md) | hard | | | 0 | | [omnimath_106](https://harnessreport.com/tasks/omnimath/omnimath_106.md) | hard | | | 0 | | [omnimath_1060](https://harnessreport.com/tasks/omnimath/omnimath_1060.md) | hard | | | 0 | | [omnimath_1061](https://harnessreport.com/tasks/omnimath/omnimath_1061.md) | hard | | | 0 | | [omnimath_1062](https://harnessreport.com/tasks/omnimath/omnimath_1062.md) | hard | | | 0 | | [omnimath_1063](https://harnessreport.com/tasks/omnimath/omnimath_1063.md) | hard | | | 0 | | [omnimath_1064](https://harnessreport.com/tasks/omnimath/omnimath_1064.md) | hard | | | 0 | | [omnimath_1065](https://harnessreport.com/tasks/omnimath/omnimath_1065.md) | hard | | | 0 | | [omnimath_1066](https://harnessreport.com/tasks/omnimath/omnimath_1066.md) | hard | | | 0 | | [omnimath_1067](https://harnessreport.com/tasks/omnimath/omnimath_1067.md) | hard | | | 0 | | [omnimath_1068](https://harnessreport.com/tasks/omnimath/omnimath_1068.md) | hard | | | 0 | | [omnimath_1069](https://harnessreport.com/tasks/omnimath/omnimath_1069.md) | hard | | | 0 | | [omnimath_107](https://harnessreport.com/tasks/omnimath/omnimath_107.md) | hard | | | 0 | | [omnimath_1070](https://harnessreport.com/tasks/omnimath/omnimath_1070.md) | hard | | | 0 | | [omnimath_1071](https://harnessreport.com/tasks/omnimath/omnimath_1071.md) | hard | | | 0 | | [omnimath_1072](https://harnessreport.com/tasks/omnimath/omnimath_1072.md) | hard | | | 0 | | [omnimath_1073](https://harnessreport.com/tasks/omnimath/omnimath_1073.md) | hard | | | 0 | | [omnimath_1074](https://harnessreport.com/tasks/omnimath/omnimath_1074.md) | hard | | | 0 | | [omnimath_1075](https://harnessreport.com/tasks/omnimath/omnimath_1075.md) | hard | | | 0 | | [omnimath_1076](https://harnessreport.com/tasks/omnimath/omnimath_1076.md) | hard | | | 0 | | [omnimath_1077](https://harnessreport.com/tasks/omnimath/omnimath_1077.md) | hard | | | 0 | | [omnimath_1078](https://harnessreport.com/tasks/omnimath/omnimath_1078.md) | hard | | | 0 | | [omnimath_1079](https://harnessreport.com/tasks/omnimath/omnimath_1079.md) | hard | | | 0 | | [omnimath_108](https://harnessreport.com/tasks/omnimath/omnimath_108.md) | hard | | | 0 | | [omnimath_1080](https://harnessreport.com/tasks/omnimath/omnimath_1080.md) | hard | | | 0 | | [omnimath_1081](https://harnessreport.com/tasks/omnimath/omnimath_1081.md) | hard | | | 0 | | [omnimath_1082](https://harnessreport.com/tasks/omnimath/omnimath_1082.md) | hard | | | 0 | | [omnimath_1083](https://harnessreport.com/tasks/omnimath/omnimath_1083.md) | hard | | | 0 | | [omnimath_1084](https://harnessreport.com/tasks/omnimath/omnimath_1084.md) | hard | | | 0 | | [omnimath_1085](https://harnessreport.com/tasks/omnimath/omnimath_1085.md) | hard | | | 0 | | [omnimath_1086](https://harnessreport.com/tasks/omnimath/omnimath_1086.md) | hard | | | 0 | | [omnimath_1087](https://harnessreport.com/tasks/omnimath/omnimath_1087.md) | hard | | | 0 | | [omnimath_1088](https://harnessreport.com/tasks/omnimath/omnimath_1088.md) | hard | | | 0 | | [omnimath_1089](https://harnessreport.com/tasks/omnimath/omnimath_1089.md) | hard | | | 0 | | [omnimath_109](https://harnessreport.com/tasks/omnimath/omnimath_109.md) | hard | | | 0 | | [omnimath_1090](https://harnessreport.com/tasks/omnimath/omnimath_1090.md) | hard | | | 0 | | [omnimath_1091](https://harnessreport.com/tasks/omnimath/omnimath_1091.md) | hard | | | 0 | | [omnimath_1092](https://harnessreport.com/tasks/omnimath/omnimath_1092.md) | hard | | | 0 | | [omnimath_1093](https://harnessreport.com/tasks/omnimath/omnimath_1093.md) | hard | | | 0 | | [omnimath_1094](https://harnessreport.com/tasks/omnimath/omnimath_1094.md) | hard | | | 0 | | [omnimath_1095](https://harnessreport.com/tasks/omnimath/omnimath_1095.md) | hard | | | 0 | | [omnimath_1096](https://harnessreport.com/tasks/omnimath/omnimath_1096.md) | hard | | | 0 | | [omnimath_1097](https://harnessreport.com/tasks/omnimath/omnimath_1097.md) | hard | | | 0 | | [omnimath_1098](https://harnessreport.com/tasks/omnimath/omnimath_1098.md) | hard | | | 0 | | [omnimath_1099](https://harnessreport.com/tasks/omnimath/omnimath_1099.md) | hard | | | 0 | | [omnimath_11](https://harnessreport.com/tasks/omnimath/omnimath_11.md) | hard | | | 0 | | [omnimath_110](https://harnessreport.com/tasks/omnimath/omnimath_110.md) | hard | | | 0 | | [omnimath_1100](https://harnessreport.com/tasks/omnimath/omnimath_1100.md) | hard | | | 0 | | [omnimath_1101](https://harnessreport.com/tasks/omnimath/omnimath_1101.md) | hard | | | 0 | | [omnimath_1102](https://harnessreport.com/tasks/omnimath/omnimath_1102.md) | hard | | | 0 | | [omnimath_1103](https://harnessreport.com/tasks/omnimath/omnimath_1103.md) | hard | | | 0 | | [omnimath_1104](https://harnessreport.com/tasks/omnimath/omnimath_1104.md) | hard | | | 0 | | [omnimath_1105](https://harnessreport.com/tasks/omnimath/omnimath_1105.md) | hard | | | 0 | | [omnimath_1106](https://harnessreport.com/tasks/omnimath/omnimath_1106.md) | hard | | | 0 | | [omnimath_1107](https://harnessreport.com/tasks/omnimath/omnimath_1107.md) | hard | | | 0 | | [omnimath_1108](https://harnessreport.com/tasks/omnimath/omnimath_1108.md) | hard | | | 0 | | [omnimath_1109](https://harnessreport.com/tasks/omnimath/omnimath_1109.md) | hard | | | 0 | | [omnimath_111](https://harnessreport.com/tasks/omnimath/omnimath_111.md) | hard | | | 0 | | [omnimath_1110](https://harnessreport.com/tasks/omnimath/omnimath_1110.md) | hard | | | 0 | | [omnimath_1111](https://harnessreport.com/tasks/omnimath/omnimath_1111.md) | hard | | | 0 | | [omnimath_1112](https://harnessreport.com/tasks/omnimath/omnimath_1112.md) | hard | | | 0 | | [omnimath_1113](https://harnessreport.com/tasks/omnimath/omnimath_1113.md) | hard | | | 0 | | [omnimath_1114](https://harnessreport.com/tasks/omnimath/omnimath_1114.md) | hard | | | 0 | | [omnimath_1115](https://harnessreport.com/tasks/omnimath/omnimath_1115.md) | hard | | | 0 | | [omnimath_1116](https://harnessreport.com/tasks/omnimath/omnimath_1116.md) | hard | | | 0 | | [omnimath_1117](https://harnessreport.com/tasks/omnimath/omnimath_1117.md) | hard | | | 0 | | [omnimath_1118](https://harnessreport.com/tasks/omnimath/omnimath_1118.md) | hard | | | 0 | | [omnimath_1119](https://harnessreport.com/tasks/omnimath/omnimath_1119.md) | hard | | | 0 | | [omnimath_112](https://harnessreport.com/tasks/omnimath/omnimath_112.md) | hard | | | 0 | | [omnimath_1120](https://harnessreport.com/tasks/omnimath/omnimath_1120.md) | hard | | | 0 | | [omnimath_1121](https://harnessreport.com/tasks/omnimath/omnimath_1121.md) | hard | | | 0 | | [omnimath_1122](https://harnessreport.com/tasks/omnimath/omnimath_1122.md) | hard | | | 0 | | [omnimath_1123](https://harnessreport.com/tasks/omnimath/omnimath_1123.md) | hard | | | 0 | | [omnimath_1124](https://harnessreport.com/tasks/omnimath/omnimath_1124.md) | hard | | | 0 | | [omnimath_1125](https://harnessreport.com/tasks/omnimath/omnimath_1125.md) | hard | | | 0 | | [omnimath_1126](https://harnessreport.com/tasks/omnimath/omnimath_1126.md) | hard | | | 0 | | [omnimath_1127](https://harnessreport.com/tasks/omnimath/omnimath_1127.md) | hard | | | 0 | | [omnimath_1128](https://harnessreport.com/tasks/omnimath/omnimath_1128.md) | hard | | | 0 | | [omnimath_1129](https://harnessreport.com/tasks/omnimath/omnimath_1129.md) | hard | | | 0 | | [omnimath_113](https://harnessreport.com/tasks/omnimath/omnimath_113.md) | hard | | | 0 | | [omnimath_1130](https://harnessreport.com/tasks/omnimath/omnimath_1130.md) | hard | | | 0 | | [omnimath_1131](https://harnessreport.com/tasks/omnimath/omnimath_1131.md) | hard | | | 0 | | [omnimath_1132](https://harnessreport.com/tasks/omnimath/omnimath_1132.md) | hard | | | 0 | | [omnimath_1133](https://harnessreport.com/tasks/omnimath/omnimath_1133.md) | hard | | | 0 | | [omnimath_1134](https://harnessreport.com/tasks/omnimath/omnimath_1134.md) | hard | | | 0 | | [omnimath_1135](https://harnessreport.com/tasks/omnimath/omnimath_1135.md) | hard | | | 0 | | [omnimath_1136](https://harnessreport.com/tasks/omnimath/omnimath_1136.md) | hard | | | 0 | | [omnimath_1137](https://harnessreport.com/tasks/omnimath/omnimath_1137.md) | hard | | | 0 | | [omnimath_1138](https://harnessreport.com/tasks/omnimath/omnimath_1138.md) | hard | | | 0 | | [omnimath_1139](https://harnessreport.com/tasks/omnimath/omnimath_1139.md) | hard | | | 0 | | [omnimath_114](https://harnessreport.com/tasks/omnimath/omnimath_114.md) | hard | | | 0 | | [omnimath_1140](https://harnessreport.com/tasks/omnimath/omnimath_1140.md) | hard | | | 0 | | [omnimath_1141](https://harnessreport.com/tasks/omnimath/omnimath_1141.md) | hard | | | 0 | | [omnimath_1142](https://harnessreport.com/tasks/omnimath/omnimath_1142.md) | hard | | | 0 | | [omnimath_1143](https://harnessreport.com/tasks/omnimath/omnimath_1143.md) | hard | | | 0 | | [omnimath_1144](https://harnessreport.com/tasks/omnimath/omnimath_1144.md) | hard | | | 0 | | [omnimath_1145](https://harnessreport.com/tasks/omnimath/omnimath_1145.md) | hard | | | 0 | | [omnimath_1146](https://harnessreport.com/tasks/omnimath/omnimath_1146.md) | hard | | | 0 | | [omnimath_1147](https://harnessreport.com/tasks/omnimath/omnimath_1147.md) | hard | | | 0 | | [omnimath_1148](https://harnessreport.com/tasks/omnimath/omnimath_1148.md) | hard | | | 0 | | [omnimath_1149](https://harnessreport.com/tasks/omnimath/omnimath_1149.md) | hard | | | 0 | | [omnimath_115](https://harnessreport.com/tasks/omnimath/omnimath_115.md) | hard | | | 0 | | [omnimath_1150](https://harnessreport.com/tasks/omnimath/omnimath_1150.md) | hard | | | 0 | | [omnimath_1151](https://harnessreport.com/tasks/omnimath/omnimath_1151.md) | hard | | | 0 | | [omnimath_1152](https://harnessreport.com/tasks/omnimath/omnimath_1152.md) | hard | | | 0 | | [omnimath_1153](https://harnessreport.com/tasks/omnimath/omnimath_1153.md) | hard | | | 0 | | [omnimath_1154](https://harnessreport.com/tasks/omnimath/omnimath_1154.md) | hard | | | 0 | | [omnimath_1155](https://harnessreport.com/tasks/omnimath/omnimath_1155.md) | hard | | | 0 | | [omnimath_1156](https://harnessreport.com/tasks/omnimath/omnimath_1156.md) | hard | | | 0 | | [omnimath_1157](https://harnessreport.com/tasks/omnimath/omnimath_1157.md) | hard | | | 0 | | [omnimath_1158](https://harnessreport.com/tasks/omnimath/omnimath_1158.md) | hard | | | 0 | | [omnimath_1159](https://harnessreport.com/tasks/omnimath/omnimath_1159.md) | hard | | | 0 | | [omnimath_116](https://harnessreport.com/tasks/omnimath/omnimath_116.md) | hard | | | 0 | | [omnimath_1160](https://harnessreport.com/tasks/omnimath/omnimath_1160.md) | hard | | | 0 | | [omnimath_1161](https://harnessreport.com/tasks/omnimath/omnimath_1161.md) | hard | | | 0 | | [omnimath_1162](https://harnessreport.com/tasks/omnimath/omnimath_1162.md) | hard | | | 0 | | [omnimath_1163](https://harnessreport.com/tasks/omnimath/omnimath_1163.md) | hard | | | 0 | | [omnimath_1164](https://harnessreport.com/tasks/omnimath/omnimath_1164.md) | hard | | | 0 | | [omnimath_1165](https://harnessreport.com/tasks/omnimath/omnimath_1165.md) | hard | | | 0 | | [omnimath_1166](https://harnessreport.com/tasks/omnimath/omnimath_1166.md) | hard | | | 0 | | [omnimath_1167](https://harnessreport.com/tasks/omnimath/omnimath_1167.md) | hard | | | 0 | | [omnimath_1168](https://harnessreport.com/tasks/omnimath/omnimath_1168.md) | hard | | | 0 | | [omnimath_1169](https://harnessreport.com/tasks/omnimath/omnimath_1169.md) | hard | | | 0 | | [omnimath_117](https://harnessreport.com/tasks/omnimath/omnimath_117.md) | hard | | | 0 | | [omnimath_1170](https://harnessreport.com/tasks/omnimath/omnimath_1170.md) | hard | | | 0 | | [omnimath_1171](https://harnessreport.com/tasks/omnimath/omnimath_1171.md) | hard | | | 0 | | [omnimath_1172](https://harnessreport.com/tasks/omnimath/omnimath_1172.md) | hard | | | 0 | | [omnimath_1173](https://harnessreport.com/tasks/omnimath/omnimath_1173.md) | hard | | | 0 | | [omnimath_1174](https://harnessreport.com/tasks/omnimath/omnimath_1174.md) | hard | | | 0 | | [omnimath_1175](https://harnessreport.com/tasks/omnimath/omnimath_1175.md) | hard | | | 0 | | [omnimath_1176](https://harnessreport.com/tasks/omnimath/omnimath_1176.md) | hard | | | 0 | | [omnimath_1177](https://harnessreport.com/tasks/omnimath/omnimath_1177.md) | hard | | | 0 | More: https://harnessreport.com/tasks/omnimath.md?after=omnimath_1177 --- Harness Report runs agent harnesses from their GitHub repos on Harbor tasks and records every model call. Every page is also `.md` and `.json`; index: https://harnessreport.com/llms.txt · MCP: https://harnessreport.com/mcp