home.social

#machineassistedproofs — Public Fediverse posts

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

  1. Hacker News @[email protected] ·

    Terence Tao – Machine-Assisted Proofs (February 19, 2025) [video] — youtube.com/watch?v=5ZIIGLiQWNM
    #HackerNews #TerenceTao #MachineAssistedProofs #Mathematics #Video #AIProofs

    #hackernews #terencetao #machineassistedproofs #mathematics #video #aiproofs
  2. Hacker News @[email protected] ·

    Terence Tao – Machine-Assisted Proofs (February 19, 2025) [video] — youtube.com/watch?v=5ZIIGLiQWNM
    #HackerNews #TerenceTao #MachineAssistedProofs #Mathematics #Video #AIProofs

    #hackernews #terencetao #machineassistedproofs #mathematics #video #aiproofs
  3. Hacker News @[email protected] ·

    Terence Tao – Machine-Assisted Proofs (February 19, 2025) [video] — youtube.com/watch?v=5ZIIGLiQWNM
    #HackerNews #TerenceTao #MachineAssistedProofs #Mathematics #Video #AIProofs

    #hackernews #terencetao #machineassistedproofs #mathematics #video #aiproofs
  4. Hacker News @[email protected] ·

    Terence Tao – Machine-Assisted Proofs (February 19, 2025) [video] — youtube.com/watch?v=5ZIIGLiQWNM
    #HackerNews #TerenceTao #MachineAssistedProofs #Mathematics #Video #AIProofs

    #aiproofs #video #mathematics #machineassistedproofs #terencetao #hackernews
  5. Hacker News @[email protected] ·

    Terence Tao – Machine-Assisted Proofs (February 19, 2025) [video] — youtube.com/watch?v=5ZIIGLiQWNM
    #HackerNews #TerenceTao #MachineAssistedProofs #Mathematics #Video #AIProofs

    #hackernews #terencetao #machineassistedproofs #mathematics #video #aiproofs
  6. pablo suárez-serrato @[email protected] ·

    Hoy culmina el programa de #MachineAssistedProofs , al que le podríamos llamar #MatemáticasAutomáticas . En verdad, hay que pensar que «a todo cerdo le llega su San Martín» y que estamos llegando a un cambio de paradigma, al final de un camino. Poco a poco el trabajo, a veces tedioso y a veces complejo, detrás de una demostración matemática se está automatizando. A penas van los conceptos básicos de algunas áreas, pero ahí va la maquinaria creciendo.

    #machineassistedproofs #matematicasautomaticas
  7. pablo suárez-serrato @[email protected] ·

    Esta semana estaré participando en #IPAM en #UCLA en un programa de #MachineAssistedProofs . Se tratará la automatización de demostraciones matemáticas. Mi primera experiencia con esto fue cuando en 2015 demostramos, con Luis García-Naranjo y Ramón Vera, que toda 4-variedad lisa admite una estructura de Poisson. Para la prueba tuvimos que apoyarnos en calculos que realizamos con un programa en Mathematica, de cómputo simbólico. link.springer.com/article/10.1

    #ipam #ucla #machineassistedproofs