thats nuts. what was it doing for 80 hrs?
Probably asked what’s the Answer to the Ultimate Question of Life, the Universe, and Everything
The project is a semantic parser for Lojban that emits Lean. The specific task was to add the ability to go in reverse - from (a subset of) Lean back to Lojban. So the bot had a corpus of something like 25K test cases that it had to make roundtrip, and instructions to keep going until the test suite is green.
Cool, I'm having all kinds of ideas about the use cases. Would using Loglish (Ben Goertzel's english adaptation) be practical?
https://www.goertzel.org/new_research/Loglish.htm
I'm using that to communicate with my AI. Perhaps one day we'll speak a New Ithkuil variant with AI.
Even at $200 monthly subscription that kind of stuff burns through tokens at a rate where it's very difficult to believe that they are even breaking even, never mind profit.