Michael Bechmann schrieb:
Was hat es mit Erdos-Problemen, #307 und #348 auf sich?
Hier sind die Beschreibungen von 307 und 348:
https://www.erdosproblems.com/forum/thread/307https://www.erdosproblems.com/forum/thread/348307 ist nach wie vor offen.
348 scheint gelöst zu sein (9. und 10. September):
https://www.erdosproblems.com/forum/thread/348/proof-claims#proof-claim-294Zumindest der zweite Involvierte ("Woett") ist eine feste Größe in der Szene.
Zitat:
Muss man für eine KI neuerdings Geld (in diesem Falle 450 Dollar)
also bezahlen?
Natürlich, aber nur für gute KIs, bzw für KIs
auf guten Levels.
Das war auch schon vor 12 Monaten so.
Wer nur gratis nutzen will, wird entsprechend weniger Leistung bekommen.
Das meiste, was ich mal in einer Nacht durchgebracht
hatte (So, 5. auf Mo, 6. September) waren etwa 45 Euro.
Hatte sich aber gelohnt.
Viele Grüße, Ingo.