websitehotSubmit

Saved community observations are available for this site. Latest collection: 2026-10-11 (UTC). This does not confirm the website is still available.

I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]

raw.githubusercontent.com

In the maker’s words

I just noticed it takes literally ~5 minutes to train millions parameters on slow CPU...but before you call Yudkowsky that "it's over", an important note: the main bottleneck is the corpus size, params are just 'cleverness' but given limited info it's powerless. Anyway, here is the project: https://github.com/bggb7781-collab/lrnnsmdds/tree/main couple of notes: 1. single C file, no dependencies. Below are literally all the "dependencies", not even custom header (copy paste from the top of the single c file): #define _POSIX_C_SOURCE 200809L #include <stdio.h> #include <stdlib.h> #include <string.h> #include <math.h> #include <time.h> #include <stdint.h> #include <stdbool.h> #include <float.h> #include <getopt.h> #include <errno.h> 4136 lines of code in one file at the moment, that's all. 2. easiest way to compile on Windows: download Cygwin ( https://www.cygwin.com/ ), then navigate to th…
adinhitlore, launching on Hacker News

Where people found it

Saved source observations

Latest observations from the last 14 UTC days. Each sample counts the retrieved posts from the collection’s 30-day window; votes and stars use different units. Missing dates or sources are gaps, not zero activity. Samples are not a traffic or growth measurement.

  • Hacker News

    Activity
    5 points
    Comments
    1
    Posts
    1

More sites like I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]