NHacker Next
  • new
  • past
  • show
  • ask
  • show
  • jobs
  • submit
Automatic Textbook Formalization (github.com)
tzury 2 hours ago [-]
mkl 4 minutes ago [-]
That just shows the first post for most people. Here is all of it: https://xcancel.com/FabianGloeckle/status/204008278585190440...
measurablefunc 19 minutes ago [-]
This is a lot of useful data for the next iteration of Claude because not only does Anthropic have the final artifacts but they also saw the entire workflow from start to finish & Facebook paid them for the privilege of giving them all of that training data.
auggierose 1 hours ago [-]
Which LLMs do these agents use?
auggierose 43 minutes ago [-]
Claude Opus 4.5
alex_be 1 hours ago [-]
Big step toward AI-assisted mathematical research
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
Rendered at 22:16:00 GMT+0000 (Coordinated Universal Time) with Vercel.