• Chat
  • Dashboard
  • Daily Briefing
  • Discover
    • Feedback
    • Sign In
    Sign InSign Up

    Case study: Creative math – How AI fakes proofs

    Comments on Hacker News | Source

    Monday, January 26, 2026 1:15 AM

    Visit Website
    website-logo

    Hacker News

    Hacker News

    channel icon
    Related Articles

    Show HN: A small programming language where everything is pass-by-value

    Jan 26, 2026

    Scientists identify brain waves that define the limits of 'you'

    Jan 26, 2026

    Guix for Development

    Jan 26, 2026

    Show HN: Elo ranking for landing pages

    Jan 26, 2026
    xgithub
    logo

    Copyright © 2022-2026 - Aetos.AI