Events

HTTP 200 OK
Allow: GET, HEAD, OPTIONS
Content-Type: application/json
Vary: Accept

{
    "count": 1,
    "next": null,
    "previous": null,
    "results": [
        {
            "id": 71585,
            "title": "IC Colloquium: Sphere Packing Problem and AI-Assisted Formalization",
            "slug": "ic-colloquium-sphere-packing-problem-and-ai-assi-2",
            "event_url": "https://memento.epfl.ch/event/ic-colloquium-sphere-packing-problem-and-ai-assi-2",
            "visual_url": null,
            "visual_large_url": null,
            "visual_maxsize_url": null,
            "lang": "en",
            "start_date": "2026-04-20",
            "end_date": "2026-04-20",
            "start_time": "10:15:00",
            "end_time": "11:15:00",
            "description": "<strong>By:</strong> Maryna Viazovska and Auguste Poiroux - EPFL<br>\r\n<br>\r\n<strong>Maryna Viazovska - Abstract</strong><br>\r\nThe talk will present the path toward formalizing the sphere packing problem in dimensions 8 and 24. It will highlight the main milestones achieved so far, the role of AI, and the challenges arising in large-scale formalization projects.<br>\r\n<br>\r\n<strong>Auguste Poiroux - Abstract</strong><br>\r\nOver the last year, AI systems have progressed rapidly in mathematics and are beginning to tackle conjectures and open problems. This progress is exciting, but it also raises a verification challenge. Sophisticated proofs, whether written by humans or generated by AI, require substantial expertise and time to check, and AI increases this burden by producing candidate proofs at scale. Formalization, the translation of mathematical content into proof assistant code, provides a promising way forward. Manual formalization, however, still requires substantial effort and expertise. Autoformalization, using AI, is now showing key progress in addressing this bottleneck. In roughly one year, the state of the art has moved from barely formalizing undergraduate-level statements to automatically formalizing whole papers and textbooks. In this talk, I will present my work on the topic at EPFL and Math, Inc. More specifically, I will discuss autoformalization in the context of Sphere Packing in dimensions 8 and 24, the verification of AI solutions to conjectures using autoformalization, and the next steps in AI for mathematics.<br>\r\n<br>\r\n<strong>More information</strong><br>\r\n<a href=\"https://aiformath.epfl.ch/\">https://aiformath.epfl.ch/</a> <br>\r\n ",
            "image_description": "",
            "creation_date": "2026-04-14T09:56:59",
            "last_modification_date": "2026-04-14T11:04:54",
            "link_label": "",
            "link_url": "",
            "canceled": "False",
            "cancel_reason": "",
            "place_and_room": "BC 420",
            "url_place_and_room": "https://plan.epfl.ch/?room==BC%20420",
            "url_online_room": "https://epfl.zoom.us/j/67078120700",
            "spoken_languages": [
                "https://memento.epfl.ch/api/v1/spoken_languages/2/?format=api"
            ],
            "speaker": "",
            "organizer": "",
            "contact": "Host: Viktor Kuncak",
            "is_internal": "False",
            "theme": "",
            "vulgarization": {
                "id": 1,
                "fr_label": "Tout public",
                "en_label": "General public"
            },
            "registration": {
                "id": 3,
                "fr_label": "Entrée libre",
                "en_label": "Free"
            },
            "keywords": "",
            "file": null,
            "icalendar_url": "https://memento.epfl.ch/event/export/120366/",
            "category": {
                "id": 1,
                "code": "CONF",
                "fr_label": "Conférences - Séminaires",
                "en_label": "Conferences - Seminars",
                "activated": true
            },
            "academic_calendar_category": null,
            "domains": [],
            "mementos": [
                "https://memento.epfl.ch/api/v1/mementos/6/?format=api",
                "https://memento.epfl.ch/api/v1/mementos/27/?format=api",
                "https://memento.epfl.ch/api/v1/mementos/50/?format=api",
                "https://memento.epfl.ch/api/v1/mementos/151/?format=api"
            ]
        }
    ]
}