var sms = '<div id="sms_bulletin">  <div id="sms_header">  <div class="do_not_print" id="arrow_left"><a href="?next=-15"><img src="//www2.math.ethz.ch/smsjs/images/arrow_left.png"/></a></div><div class="do_not_print" id="arrow_right"><a href="?next=-13"><img src="//www2.math.ethz.ch/smsjs/images/arrow_right.png"/></a></div>    <div class="sms_title">      <span style="float: left;">SMS</span>      <span>SWISS MATHEMATICAL SOCIETY</span>      <span style="float: right;">SMG</span>    </div>    <div class="sms_info">      <span style="float: left; width: 250px;">Bulletin no. 4</span>      <span style="float: right; text-align:right; width: 250px;">13.1 - 17.1.2025</span>      <span style="text-align: center; display: block; width: 250px; margin: auto; position: relative;">Winter Break 2024/25</span>    </div>  </div>  <div></div>  <div id="sms_content">    <div class="day">      <div class="day_title">        Monday, January 13      </div>      <div class="day_content">        <div class="day_content_item no_event">        No events scheduled today!        </div>      </div>    </div>    <div class="day">      <div class="day_title">        Tuesday, January 14      </div>      <div class="day_content">        <div class="day_content_item normal"><div class="event_location uni_la"><a class="external" href="https://www.epfl.ch">EPF Lausanne</a></div><div class="event_type"><a class="external" href="https://www.unil.ch/dsa/en/home/menuinst/seminaires--evenements/research-seminars.html">Talks in Actuarial Mathematics </a></div><br /><div class="event_speaker"> Filip Lindskog (University of Stockholm)</div><div class="event_title">A critical look at non-life pricing with regression methods <span class="abstract-button do_not_print">abstract</span></div><div class="abstract-text" style="display: none"><strong>Abstract:</strong><br />In non-life insurance pricing, finding a suitable premium function from data is seen as a regression problem. Traditional inference-based GLM analysis has been the go-to method for decades, but it is gradually being replaced by machine learning methods focusing on prediction rather than inference. We consider the realistic setting where a customer is allowed to terminate a one-year contract before the end of the one-year coverage period. We discuss what premium function standard regression methods are estimating and whether that function coincides with what they should be estimating. We also take a critical look at whether the commonly encountered assumptions involving exponential dispersion models make sense, where these assumptions come from, and to what extent they are needed.</div><div class="event_time">11:00 &bull; EPF Lausanne, Extranef 125</div>        </div>        <div class="day_content_item normal"><div class="event_location uni_ge"><a class="external" href="https://unige.ch">Université de Genève</a></div><div class="event_type"><a class="external" href="https://www.unige.ch/math/annonces/seminaire-danalyse-numerique">Séminaire d\'Analyse Numérique </a></div><br /><div class="event_speaker"> Ludwig Rahm (University of Bergen)</div><div class="event_title">Title T.B.A.</div><div class="event_time">14:00 &bull; Université de Genève, Conseil Général 7-9, Room 1-05</div>        </div>      </div>    </div>    <div class="day">      <div class="day_title">        Wednesday, January 15      </div>      <div class="day_content">        <div class="day_content_item no_event">        No events scheduled today!        </div>      </div>    </div>    <div class="day">      <div class="day_title">        Thursday, January 16      </div>      <div class="day_content">        <div class="day_content_item normal"><div class="event_location uni_zh"><a class="external" href="https://ethz.ch">ETH Z&uuml;rich</a></div><div class="event_type"><a class="external" href="https://k-os.math.ethz.ch">[K-OS] Knot Online Seminar</a></div><br /><div class="event_speaker"> Tye Lidman (North Carolina State University)</div><div class="event_title">Cosmetic surgeries, knot complements, and Chern-Simons invariants</div><div class="event_time">16:15 &bull; <a class="external" href="https://u-paris.zoom.us/j/87853056962">online</a></div>        </div>      </div>    </div>    <div class="day">      <div class="day_title">        Friday, January 17      </div>      <div class="day_content">        <div class="day_content_item normal"><div class="event_location uni_la"><a class="external" href="https://www.epfl.ch">EPF Lausanne</a></div><div class="event_type"><a class="external" href="https://theory.epfl.ch/seminar/">Theory and Combinatorics Seminar</a></div><br /><div class="event_speaker"> Goran  Zuzic </div><div class="event_title">Recent and future advancements in AI for math <span class="abstract-button do_not_print">abstract</span></div><div class="abstract-text" style="display: none"><strong>Abstract:</strong><br />The year 2024 was pivotal for AI-powered mathematical reasoning, witnessing several major advancements. Highlights include Alphaproof from Google (https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/), which earned a silver medal at the International Mathematical Olympiad, and o3 from OpenAI, achieved a Codeforces rating placing it among the top 200 competitive programmers globally.2025 seems poised as the year when AI leads to significant breakthroughs in research-level math. This will require tackling several major challenges, most notably the verifiability of AI-generated results.In this talk, I will describe the approach to verifiability taken by Alphaproof. Alphaproof tries to solve this problem by making sure the output it produces can be formally verified. I will highlight some key (public) findings from this work and discuss which problems seem to be within reach of AI in 2025. Finally, I discuss potential future directions, and briefly describe related research underway at Google.These efforts are still in their early stages, making it a perfect time for new contributors. We are eager to collaborate with other researchers, and will therefore conclude the presentation with a brainstorming session, inviting the audience to help us shape the future of this exciting field.</div><div class="event_time">11:00 &bull; EPF Lausanne, BC02</div>        </div>      </div>    </div>  </div>  <div id="sms_footer">    address: Alessandra Naldi Windler, Departement Mathematik, HG G 51.4, ETH Zurich, Raemistrasse 101, CH-8092 Zurich<br />    email: <a href="mailto:bulletin@math.ch">bulletin@math.ch</a> | phone: +41 44 632 3684 | url: <a href="https://math.ch">https://math.ch</a>    <br /><br /><img src="//www2.math.ethz.ch/smsjs/sms_logo.gif" width="150" alt="SMS/SMG Logo" title="SMS/SMG Logo" />  </div></div>';