Sharing AI progress in mathematics
OpenAI is putting AI-generated math results in a GitHub repository with proof formalizations and release protocols.
The release includes new mathematical results produced by an internal frontier model, along with Lean formalizations for many proofs. OpenAI says it consulted the IAS Advisory Group on Mathematics and Artificial Intelligence and used that advice to shape disclosure practices. The repository also includes reasoning summaries, compute estimates, and problem-attempt statistics, with the average result using about three hours of ChatGPT Pro thinking. OpenAI says more formalizations and details on related math programs will follow. OpenAI's note
The release includes new mathematical results produced by an internal frontier model, along with Lean formalizations for many proofs. OpenAI says it consulted the IAS Advisory Group on Mathematics and Artificial Intelligence and used that advice to shape disclosure practices. The repository also includes reasoning summaries, compute estimates, and problem-attempt statistics, with the average result using about three hours of ChatGPT Pro thinking. OpenAI says more formalizations and details on related math programs will follow. OpenAI's note
score 8
Discussions
- hn · 188 points · 127 comments
- hn · 259 points · 219 comments
- hn · 259 points · 219 comments
- hn · 314 points · 282 comments
- hn · 314 points · 282 comments
- hn · 386 points · 311 comments
- hn · 386 points · 311 comments
- hn · 426 points · 357 comments
- hn · 426 points · 357 comments
- hn · 470 points · 393 comments
- hn · 471 points · 394 comments
- hn · 503 points · 419 comments
- hn · 503 points · 419 comments
- hn · 540 points · 468 comments
- hn · 540 points · 468 comments
- hn · 583 points · 521 comments
- hn · 583 points · 521 comments
- hn · 624 points · 567 comments
- hn · 624 points · 567 comments
- hn · 663 points · 598 comments
- hn · 663 points · 598 comments
- hn · 702 points · 640 comments
- hn · 702 points · 640 comments
- hn · 742 points · 671 comments
- hn · 742 points · 671 comments
- hn · 782 points · 714 comments
- hn · 782 points · 714 comments
- hn · 811 points · 740 comments
- hn · 813 points · 740 comments
- hn · 844 points · 766 comments
- hn · 844 points · 766 comments
- hn · 878 points · 788 comments
- hn · 878 points · 788 comments
- hn · 905 points · 826 comments
- hn · 905 points · 826 comments
- hn · 919 points · 855 comments
- hn · 919 points · 855 comments
- hn · 942 points · 881 comments
- hn · 942 points · 881 comments
- hn · 956 points · 910 comments
- hn · 956 points · 910 comments
- hn · 976 points · 945 comments
- hn · 976 points · 945 comments
- hn · 1000 points · 973 comments
- hn · 1000 points · 973 comments
- hn · 1025 points · 1008 comments
- hn · 1025 points · 1008 comments
- hn · 1045 points · 1061 comments
- hn · 1045 points · 1061 comments
- hn · 1064 points · 1084 comments
- hn · 1064 points · 1084 comments
- hn · 1079 points · 1133 comments
- hn · 1079 points · 1133 comments
- hn · 1106 points · 1176 comments
- hn · 1106 points · 1176 comments
- hn · 1119 points · 1209 comments
- hn · 1119 points · 1209 comments
- hn · 1138 points · 1241 comments
- hn · 1138 points · 1241 comments
- hn · 1148 points · 1268 comments
- hn · 1156 points · 1288 comments
- hn · 1162 points · 1308 comments
- hn · 1168 points · 1314 comments
- hn · 1168 points · 1314 comments
- hn · 1177 points · 1328 comments
- hn · 1177 points · 1328 comments
- hn · 1184 points · 1336 comments
- hn · 1184 points · 1337 comments
- hn · 1192 points · 1348 comments
- hn · 1192 points · 1348 comments
- hn · 1200 points · 1356 comments
- hn · 1200 points · 1356 comments
- hn · 1204 points · 1367 comments
- hn · 1204 points · 1367 comments
- hn · 1206 points · 1373 comments
- hn · 1206 points · 1372 comments
- hn · 1211 points · 1382 comments
- hn · 1211 points · 1382 comments
- hn · 1215 points · 1389 comments
- hn · 1215 points · 1389 comments
- hn · 1219 points · 1393 comments
- hn · 1219 points · 1393 comments
- hn · 1222 points · 1400 comments
- hn · 1222 points · 1400 comments
- hn · 1226 points · 1402 comments
- hn · 1226 points · 1402 comments
- hn · 1230 points · 1405 comments
- hn · 1230 points · 1405 comments
- hn · 1236 points · 1409 comments
- hn · 1236 points · 1409 comments
- hn · 1241 points · 1412 comments
- hn · 1241 points · 1412 comments
- hn · 1247 points · 1419 comments
- hn · 1247 points · 1419 comments
- hn · 1252 points · 1421 comments
- hn · 1252 points · 1421 comments
- hn · 1255 points · 1424 comments
- hn · 1255 points · 1424 comments
- hn · 1260 points · 1428 comments
- hn · 1260 points · 1428 comments
- hn · 1265 points · 1432 comments
- hn · 1265 points · 1432 comments
- hn · 1268 points · 1436 comments
- hn · 1268 points · 1436 comments
- hn · 1272 points · 1440 comments
- hn · 1272 points · 1440 comments
- hn · 1273 points · 1443 comments
- hn · 1273 points · 1443 comments
- hn · 1275 points · 1449 comments
- hn · 1275 points · 1449 comments
- hn · 1277 points · 1450 comments
- hn · 1277 points · 1450 comments
- hn · 1280 points · 1450 comments
- hn · 1280 points · 1450 comments
- hn · 1280 points · 1453 comments
- hn · 1280 points · 1453 comments
- hn · 1281 points · 1453 comments
- hn · 1281 points · 1453 comments
- hn · 1285 points · 1457 comments
- hn · 1285 points · 1457 comments
- hn · 1286 points · 1459 comments
- hn · 1286 points · 1459 comments
- hn · 1287 points · 1459 comments
- hn · 1287 points · 1459 comments
- hn · 1288 points · 1461 comments
- hn · 1288 points · 1461 comments
- hn · 1290 points · 1465 comments
- hn · 1290 points · 1465 comments
- hn · 1293 points · 1469 comments
- hn · 1293 points · 1469 comments
- hn · 1297 points · 1476 comments
- hn · 1297 points · 1476 comments
- hn · 1302 points · 1478 comments
- hn · 1302 points · 1478 comments
- hn · 1304 points · 1481 comments
- hn · 1304 points · 1481 comments
- hn · 1306 points · 1481 comments
- hn · 1306 points · 1481 comments
- hn · 1308 points · 1483 comments
- hn · 1309 points · 1484 comments
- hn · 1312 points · 1486 comments
- hn · 1312 points · 1486 comments
- hn · 1314 points · 1488 comments
- hn · 1314 points · 1488 comments
- hn · 1315 points · 1488 comments
- hn · 1316 points · 1489 comments
- hn · 1317 points · 1490 comments
- hn · 1319 points · 1493 comments
- hn · 1319 points · 1495 comments
- hn · 1320 points · 1495 comments
- hn · 1321 points · 1495 comments
- hn · 1321 points · 1497 comments
- hn · 1321 points · 1497 comments