home.social

#firstproof — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #firstproof, aggregated by home.social.

  1. Eigenraum @[email protected] ·

    #KI. Finden wir das jetzt gut oder schlecht?

    In EIG062 geht's um #AlphaEvolve und verschiedene Dinge die damit zu tun haben, wie z.B. Genetic Programming, Intron-Code und, dass man mit Optimierung von Programmen in der Mathematik z.B. die Kusszahl verbessern kann! 💋😽😚

    Und vorher muss ich auch noch ein paar allgemeine Sachen sagen zu #LLM und #FirstProof und was sonst noch so angefallen ist.

    Viel Spass dabei: eigenpod.de/eig062-mathe-evolv

    #podcast #mathe

    #ki #alphaevolve #llm #firstproof #podcast #mathe
  2. Tammy Kolda @[email protected] ·

    Please help promote this project called "First Proof" led by Mohammed Abouzaid (Stanford), Nikhil Srivastava (Cal), Rachel Ward (UT Austin), and Lauren Williams (Harvard). The goal is to understand the capabilities of AI systems on problems that come up in math research. We have a collection of research problems for which solutions have not yet been posted online, so it's a good testbed. The solutions will come out in just one week. Take a crack at it! #FirstProof #1stProof

    arxiv.org/abs/2602.05192

    #1stproof #firstproof