epoch.ai
Resume pret
HTTP 200
La solution au problème a été proposée initialement par Kevin Barreto et Liam Price à l’aide de GPT-5.4 Pro, puis confirmée par le contributeur Will Brian et sera décrite dans une publication.
Selon Brian, l’approche de l’IA est prometteuse et excitante, et bien qu’il ait d’abord douté qu’elle soit possible, elle fonctionne et élimine une inefficacité dans la construction des bornes inférieures, tout en reflétant l’ingéniosité de la construction des bornes supérieures.
Il prévoit de publier la solution et d’explorer des travaux futurs, et Barreto et Price ont la possibilité d’être coauteurs des éventuels articles, avec des liens mis à jour sur cette page.
Par ailleurs, ils ont développé un dispositif général pour tester des modèles sur FrontierMath: Open Problems, et plusieurs modèles y ont aussi résolu le problème, notamment Opus 4.6 (max), Gemini 3.1 Pro et GPT-5.4 (xhigh).
Le problème original porte sur l’amélioration des bornes inférieures de H(n) pour des hypergraphes, en définissant les partitions et en cherchant une construction qui permette de maximiser |V| tout en contrôlant |H| et l’absence de partitions de taille supérieure à n, avec des variantes et des essais par IA.