Content deleted Content added
Maxeto0910 (talk | contribs) Added multiple issues hatnote. Tags: Mobile edit Mobile web edit Advanced mobile edit |
Atlantic306 (talk | contribs) →Logic, reasoning and knowledge representation: removed unrecoverable dead link |
||
Line 58:
The [[Hutter Prize|Hutter Prize for Lossless Compression of Human Knowledge]] is a cash prize which rewards compression improvements on a specific 100 MB English text file. The prize awards 500 euros for each one percent improvement, up to €50,000. The organizers believe that text compression and AI are equivalent problems and 3 prizes were already given, at around € 2k.
The Cyc TPTP Challenge is a competition to develop reasoning methods for the [[Cyc]] comprehensive ontology and database of everyday common sense knowledge.<ref>{{cite web|url=http://www.opencyc.org/doc/tptp_challenge_problem_set|archive-url=https://web.archive.org/web/20120319123128/http://www.opencyc.org/doc/tptp_challenge_problem_set|url-status=dead|archive-date=2012-03-19|title=The Cyc TPTP Challenge Problem Set|website=opencyc.org}}</ref> The prize is 100 euros for "each winner of two related challenges".
The [[Eternity II]] challenge was a [[constraint satisfaction]] problem very similar to the [[Tetravex]] game. The objective is to lay 256 tiles on a 16x16 grid while satisfying a number of constraints. The problem is known to be [[NP-complete]].<ref>{{cite journal | doi = 10.1016/j.ipl.2006.04.010 | volume=99 | title=Tetravex is NP-complete | journal=Information Processing Letters | year=2006 | pages=171–174| arxiv=0903.1147 | last1=Takenaga | first1=Yasuhiko | last2=Walsh | first2=Toby | issue=5 | s2cid=7228681 }}</ref> The prize was US$2,000,000.<ref>http://uk.eternityii.com/competition-rules-eternity-2/</ref> The competition ended in December 2010.
| |||